aboutsummaryrefslogtreecommitdiff
path: root/dev/TODO
AgeCommit message (Expand)Author
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-06-17Dummy commit to test the new setup of coq-commits mailinglist (bis)Pierre Letouzey
2014-06-17Dummy commit to test the new setup of coq-commits mailinglistPierre Letouzey
2000-01-26mise a jourfilliatr
1999-12-14rattrapage exceptions autres que UserErrorfilliatr
1999-12-12modules et coqcfilliatr
1999-12-10debug resetfilliatr
1999-11-26module Classops; ajout de fonctions dans Declare en consequencefilliatr
1999-11-24Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsfilliatr
1999-11-22module Wcclausenvfilliatr
1999-10-20modules Evar_refiner et Typing_evfilliatr
1999-10-14module Proof_treesfilliatr
1999-10-13mise a jourfilliatr
1999-09-27ajout des constraintes pendant le chargement d'un module (load)filliatr
1999-09-25ensembles de contraintes d'universfilliatr
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-09-18module Libraryfilliatr
1999-09-10modules System, Lib et Statesfilliatr
1999-09-08le bien nomme'filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:14:57 +0000