Commit c0ba0031 authored by POTTIER Francois's avatar POTTIER Francois

TODO notes.

parent 59e07d92
* Document the incremental interface
* Confirm and understand why the code back-end slows down by 50%
between 4.01.0 and 4.02.1. Use the tag last309 for this purpose.
......@@ -28,6 +30,8 @@
[initiate] and [bookkeeping] could be merged?
[env.shifted] could be removed; use [env.token] instead
* Document the Coq back-end (Jacques-Henri?)
* Clarifier si ocamlbuild doit recevoir -use-ocamlfind, -no-ocamlfind,
ou rien; tester en particulier sous Windows?
......
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