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
*
-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