Commit 41892397 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 78676cc0
......@@ -150,6 +150,7 @@
* Simplify the demos by assuming that Menhir is already installed.
Remove find-menhir.sh.
Update [make check].
* 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