aboutsummaryrefslogtreecommitdiff
path: root/library/goptions.mli
AgeCommit message (Expand)Author
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-08-14Ajout de la gestion de Local et Global pour les options (au sens deaspiwack
2009-08-02Improved parameterization of Coq:herbelin
2007-04-29Ajout possibilité d'options à trois mots.herbelin
2004-11-16Names.substitution (and related functions) and Term.subst_mps moved tosacerdot
2004-07-16Nouvelle en-têteherbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2001-11-05GROS COMMIT:barras
2001-10-30Reorganisation de Goption. Passage des options l'utilisant en synchroneletouzey
2001-09-21Réparation des options Set Printing and coherbelin
2001-03-15entetesfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-09-10Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Pathherbelin
1999-11-26module Goptions (etait Options)filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 17:07:55 +0000