[Termtools] CPF 2.1 format fixed

[René Thiemann]

Dear all,

as May 1 has passed, and as they have been no objections or demands for further extensions of the CPF format, the current version 2.1 is now fixed and will be used for the upcoming competition. A trivial converter from CPF v2.0 is also available: it just changes the version number and adds a default toolname and -version if these are not present. 

All details (.xsd, graphical representation, converter, examples, change-list, ...) are available at 

http://cl-informatik.uibk.ac.at/software/cpf/

Furthermore, all example proofs in the CPF-archive are now available in version 2.1. We will soonish also make the generated proofs of the 2010 competition available in CPF v2.1 where proper metadata is attached.

Best regards,
René
-- 
René Thiemann                    mailto:rene.thiemann at uibk.ac.at
Computational Logic Group        http://cl-informatik.uibk.ac.at/~thiemann/
Institute of Computer Science    phone: +43 512 507-6434
University of Innsbruck