[Termtools] tpdb-xml mailing list

[Frederic Blanqui]

hello! after the color workshop, may 11 and 12, in nancy, the discussions 
concerning the development of a common format for termination proofs and a 
control language for termination provers will continue on the tpdb-xml at loria.fr 
mailing list. the color mailing list will focus more on the certification of 
this termination proof format. you are all invited to subscribe to this mailing 
list by login on http://sympa.loria.fr/ and subscribing to tpdb-xml.