Commit 01148ac2 authored by POTTIER Francois's avatar POTTIER Francois

TODO update.

parent 31c93e2b
* 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,
or the master branch.
......@@ -10,6 +8,10 @@
* Document the Coq back-end (Jacques-Henri?)
* Suite des patchs de Frédéric Bour.
Exposer aussi les réductions (Gabriel).
* 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