[Termtools] status request

Aart Middeldorp Aart.Middeldorp at uibk.ac.at
Mon Oct 22 06:35:44 CEST 2007


Dear all,

> * Termination Competition/Data Base (Innsbruck)

The designated hardware has been ordered.

-- Aart


More information about the Termtools mailing list