[Termtools] Re: tpdb-xml mailing list

[Frederic Blanqui]

for the sake of simplicity, i finally suggest to use the color mailing itself 
for those discussions. sorry for the noise...

--------
On Mon, 14 May 2007, Frederic Blanqui wrote:

> 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.