[Termtools] tar.gz of cfp files?

[Frederic Blanqui]

Hello! I note that the fields
     <proofOrigin/>
     <inputOrigin/>
are empty. This is unfortunate. The provers should give this information.

René Thiemann a écrit :
> Dear Frederic,
> 
>>> Hello! Would it be possible to get a tar.gz of all the CFP files
>>> generated in last competition? Thank you. Frederic.
> 
> everyone can now access the whole archive of CPFs from the termination 
> competition website:
> 
> directly on the entry site of http://termcomp.uibk.ac.at/ there is a 
> link in the main window (latest news -> competition 2009 -> link)
> 
> Best regards,
> Simon and René
> 
>