[Termtools] [Fwd: [Cime-club] coccinelle for coq 8.2 beta 4]

Ulrich Schmidt-Goertz ulrich at schmidt-goertz.de
Thu Oct 30 11:50:10 CET 2008


Just so nobody misses this.

If you're going to use the new version of CiME, though, be aware that
its XML input syntax for polynomials has slightly changed. You now have
to use the <COEF> tag rather than the coef attribute for a monome. The
DTD unfortunately isn't clear about this.

I suppose one could just continue using the old CiME for proofs that
don't use any of the new features, but don't take my word for it.

By the way, the website's address is
http://a3pat.ensiie.fr/pub/index.en.html :)

Kind regards,
Ulrich
-------------- next part --------------
An embedded message was scrubbed...
From: "Xavier Urbain" <urbain at ensiie.fr>
Subject: [Cime-club] coccinelle for coq 8.2 beta 4
Date: Wed, 29 Oct 2008 17:08:28 +0100
Size: 3938
Url: http://lists.lri.fr/pipermail/termtools/attachments/20081030/90ee3609/attachment.eml 


More information about the Termtools mailing list