Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :

Commit 653300ee authored by POTTIER Francois's avatar POTTIER Francois


parent d3d04064
......@@ -145,7 +145,7 @@
* Documenter la différence de philosophie avec Denny & Malloy à propos
des conflits (cf. email à Laurence Tratt).
* Create an opam package for the Coq library.
* Accept Jacques-Henri's pull request which packages the Coq library.
Add demos/calc-coq to show how it is used.
* Simplify the demos by assuming that Menhir is already installed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment