aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/TODO
Commit message (Expand)AuthorAge
* 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