Commit 65080421 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 59385167
* Distribute HTML doc as part of package and on the Web page. Add to CHANGES.
* Do not host the .tar.gz archive on yquem. Look into gitlab.inria.fr.
* Think about implementing Adams and Might's technique for intersecting
......@@ -142,8 +144,11 @@
* Documenter la différence de philosophie avec Denny & Malloy à propos
des conflits (cf. email à Laurence Tratt).
* bundle the Coq library with menhir, and add demos/calc-coq
to show how it is used
* Create an opam package for the Coq library.
Add demos/calc-coq to show how it is used.
* Simplify the demos by assuming that Menhir is already installed.
Remove find-menhir.sh.
* allow the user to choose the type of "source code intervals" that are stored
in the stack (instead of imposing a pair of locations, $startpos and $endpos)
......
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