Comments on the format of the termination problems of the TPDB

Alfons Geser geser at nianet.org
Wed Nov 12 19:11:47 CET 2003


 > (2) Some of the discussions on the syntax are not really
 >      important; rather we can leave out a lot of the syntax
 >      decisions if we adopt XML.

I support Aart's proposal. Let your favourite tool translate the XML
Syntax into whatever syntax you prefer.

Alfons



More information about the Termtools mailing list