aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/options.ml
Commit message (Expand)AuthorAge
* Mise en place d'un système optionnel de discharge immédiat; prise en compte...Gravatar herbelin2001-02-14
* 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