index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
coqtop.ml
Commit message (
Expand
)
Author
Age
...
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29
*
raccourci -l en plus de -load-vernac-source
letouzey
2002-03-07
*
Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parce
ddr
2002-02-20
*
- Reforme de la gestion des args recursifs (via arbres reguliers)
barras
2002-02-14
*
option -dump-glob pour coqdoc
filliatr
2002-02-14
*
Plusieurs arguments autorisés pour Require et Read Module
herbelin
2002-01-18
*
compat ocaml 3.03
filliatr
2001-12-13
*
GROS COMMIT:
barras
2001-11-05
*
Abstraction de l'immplementation de dirpath et implementation dans l'autre se...
herbelin
2001-10-17
*
Compatibilite Windoz
herbelin
2001-09-26
*
Ajout d'une option et d'une fonction compile pour fabriquer les .vo
herbelin
2001-09-18
*
Bug default module name (2eme)
herbelin
2001-09-06
*
Parsing
herbelin
2001-08-10
*
option -quality
filliatr
2001-05-28
*
amelioration des messages d'erreurs vis a vis des evars
barras
2001-05-23
*
-boot n'implique plus -batch
filliatr
2001-04-19
*
*** empty log message ***
courant
2001-04-19
*
utilisation de Options.if_verbose
filliatr
2001-04-03
*
entetes
filliatr
2001-03-15
*
bug Reset et Sections
filliatr
2001-02-28
*
option -m (utilisation memoire)
filliatr
2001-02-09
*
Meilleure approche du conflit path/freeze/library_root en séquentialisant la...
herbelin
2001-02-07
*
petit bug -byte/-opt (execv -> execvp) et message coercion teste is_silent
filliatr
2000-12-12
*
Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...
herbelin
2000-12-06
*
Mini-nettoyage noms longs
herbelin
2000-12-05
*
Changement de la syntaxe des options -I et -R
herbelin
2000-11-30
*
Bug option -I et -R quand le répertoire est '..'
herbelin
2000-11-29
*
Bug option -I et -R quand le répertoire est '.'
herbelin
2000-11-29
*
Ajout d'une option d'alias à -I
herbelin
2000-11-29
*
- coqc: utilise le meilleur coq possible
filliatr
2000-11-24
*
nouveau load path
filliatr
2000-11-08
*
gros commit de tout ce que j'ai fait pendant les vacances :
filliatr
2000-01-21
*
Déplacement print_emacs dans Options
herbelin
2000-01-07
*
- méthode load sur les Hints
filliatr
1999-12-13
*
documentation interfaces
filliatr
1999-12-13
*
modules
filliatr
1999-12-12
*
debug reset
filliatr
1999-12-10
*
declarations eliminations / debuggae inductifs (debut)
filliatr
1999-12-06
*
- coqmktop
filliatr
1999-12-03
*
modules profile, Coqinit et Coqtop (=main)
filliatr
1999-12-03
[prev]