coq - The formal proof system

Age	Commit message (Expand)	Author
2001-02-09	option -m (utilisation memoire)	filliatr
2001-02-07	Meilleure approche du conflit path/freeze/library_root en séquentialisant la...	herbelin
2000-12-12	petit bug -byte/-opt (execv -> execvp) et message coercion teste is_silent	filliatr
2000-12-06	Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...	herbelin
2000-12-05	Mini-nettoyage noms longs	herbelin
2000-11-30	Changement de la syntaxe des options -I et -R	herbelin
2000-11-29	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-24	- coqc: utilise le meilleur coq possible	filliatr
2000-11-08	nouveau load path	filliatr
2000-01-21	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr
2000-01-07	Déplacement print_emacs dans Options	herbelin
1999-12-13	- méthode load sur les Hints	filliatr
1999-12-13	documentation interfaces	filliatr
1999-12-12	modules	filliatr
1999-12-10	debug reset	filliatr
1999-12-06	declarations eliminations / debuggae inductifs (debut)	filliatr
1999-12-03	- coqmktop	filliatr
1999-12-03	modules profile, Coqinit et Coqtop (=main)	filliatr