aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/options.mli
Commit message (Expand)AuthorAge
* Mise en place d'un système optionnel de discharge immédiat; prise en compte...Gravatar herbelin2001-02-14
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* modules et coqcGravatar filliatr1999-12-12
* Discharge (encore bugge)Gravatar filliatr1999-12-09
* poursuite de VernacentriesGravatar filliatr1999-12-01
* module Classops; ajout de fonctions dans Declare en consequenceGravatar filliatr1999-11-26
* ajouts divers pour module PrinterGravatar filliatr1999-11-26
* ajout de divers fonctions dans lib/Gravatar filliatr1999-09-28