index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
library
/
goptions.ml
Commit message (
Expand
)
Author
Age
*
*** empty log message ***
barras
2003-03-12
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29
*
compat ocaml 3.03
filliatr
2001-12-13
*
Re-installation de l'affichage des globaux par des noms courts
herbelin
2001-11-19
*
GROS COMMIT:
barras
2001-11-05
*
Reorganisation de Goption. Passage des options l'utilisant en synchrone
letouzey
2001-10-30
*
Patch de goption.ml pour faire marcher les options synchrones. Passage des op...
letouzey
2001-10-24
*
Réparation des options Set Printing and co
herbelin
2001-09-21
*
entetes
filliatr
2001-03-15
*
certains effets disparaissent a la sortie des sections, d'autres non (selon S...
filliatr
2000-11-24
*
print_id, print_sp -> pr_id, pr_sp
herbelin
2000-11-23
*
methode export
filliatr
2000-11-15
*
Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...
herbelin
2000-11-10
*
Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path
herbelin
2000-09-10
*
- méthode load sur les Hints
filliatr
1999-12-13
*
add_leaf -> application methode cache
filliatr
1999-12-05
*
modifs pour premiere edition de liens
filliatr
1999-12-02
*
module Goptions (etait Options)
filliatr
1999-11-26