aboutsummaryrefslogtreecommitdiff
path: root/lib/options.ml
AgeCommit message (Expand)Author
1999-12-12modules et coqcfilliatr
1999-12-09Discharge (encore bugge)filliatr
1999-12-01poursuite de Vernacentriesfilliatr
1999-11-26module Classops; ajout de fonctions dans Declare en consequencefilliatr
1999-11-26ajouts divers pour module Printerfilliatr
1999-09-28ajout de divers fonctions dans lib/filliatr