aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/TODO
Commit message (Expand)AuthorAge
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* Dummy commit to test the new setup of coq-commits mailinglist (bis)Gravatar Pierre Letouzey2014-06-17
* Dummy commit to test the new setup of coq-commits mailinglistGravatar Pierre Letouzey2014-06-17
* mise a jourGravatar filliatr2000-01-26
* rattrapage exceptions autres que UserErrorGravatar filliatr1999-12-14
* modules et coqcGravatar filliatr1999-12-12
* debug resetGravatar filliatr1999-12-10
* module Classops; ajout de fonctions dans Declare en consequenceGravatar filliatr1999-11-26
* Auto,Dhyp,Elim / Reduction de Evar / declarations eliminationsGravatar filliatr1999-11-24
* module WcclausenvGravatar filliatr1999-11-22
* modules Evar_refiner et Typing_evGravatar filliatr1999-10-20
* module Proof_treesGravatar filliatr1999-10-14
* mise a jourGravatar filliatr1999-10-13
* ajout des constraintes pendant le chargement d'un module (load)Gravatar filliatr1999-09-27
* ensembles de contraintes d'universGravatar filliatr1999-09-25
* - un effort sur la doc (ocamlweb)Gravatar filliatr1999-09-19
* module LibraryGravatar filliatr1999-09-18
* modules System, Lib et StatesGravatar filliatr1999-09-10
* le bien nomme'Gravatar filliatr1999-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 18:56:42 +0000