coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	pretty-printers pour le debugger	filliatr	1999-12-14
*	- états fabriqués avec -silent	filliatr	1999-12-13
*	chemin compile des fichiers Coq	filliatr	1999-12-13
*	documentation	filliatr	1999-12-13
*	modules et coqc	filliatr	1999-12-12
*	mise en place des outils	filliatr	1999-12-11
*	Intégration initiale du Cases	herbelin	1999-12-11
*	bug: enregistrement de vartab au lieu de csttab	filliatr	1999-12-10
*	deplacement de Discharge dans toplevel	filliatr	1999-12-08
*	link Dhyp et Auto	filliatr	1999-12-07
*	debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes	filliatr	1999-12-07
*	Ajout option spéciale PPC	herbelin	1999-12-06
*	erreurs lexicales	filliatr	1999-12-06
*	premier debugage	filliatr	1999-12-05
*	compilation native	filliatr	1999-12-03
*	bug make_strength repare	filliatr	1999-12-03
*	- coqmktop	filliatr	1999-12-03
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03
*	- global_reference traite des variables	filliatr	1999-12-03
*	Modifs suite à intégration de class.ml	herbelin	1999-12-02
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	Pfedit (fin)	filliatr	1999-12-02
*	Intégration du Termast et du Retyping de HH, et modifications connexes	herbelin	1999-12-01
*	poursuite de Vernacentries	filliatr	1999-12-01
*	printers	filliatr	1999-12-01
*	- Typing -> Safe_typing	filliatr	1999-12-01
*	ocamlweb	filliatr	1999-11-30
*	portage Astterm (partiellement)	filliatr	1999-11-29
*	module Classops; ajout de fonctions dans Declare en consequence	filliatr	1999-11-26
*	ajouts divers pour module Printer	filliatr	1999-11-26
*	MAJ pour fusion avec pretyping	herbelin	1999-11-24
*	Vernacinterp et Vernacentries (partiellement)	filliatr	1999-11-24
*	Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations	filliatr	1999-11-24
*	modules Indrec, Tacentries, Hiddentac	filliatr	1999-11-23
*	module Wcclausenv	filliatr	1999-11-22
*	module Pattern, Wcclausenv (interface) et Tacticals	filliatr	1999-11-19
*	modules Bij, Gmapl, Stock	filliatr	1999-11-19
*	discriminations nets	filliatr	1999-11-19
*	introduction de Gset et Gmap pour Tlm puis Dn	filliatr	1999-11-18
*	- répertoire tactics/	filliatr	1999-10-22
*	module Macros et Tacinterp	filliatr	1999-10-22
*	- module Redinfo dans library/ pour les constantes d'élimination	filliatr	1999-10-22
*	- documentation repertoire proofs/	filliatr	1999-10-20
*	module Clenv (debut)	filliatr	1999-10-20
*	modules Evar_refiner et Typing_ev	filliatr	1999-10-20
*	les variables existentielles contiennent maintenant un environnement (type	filliatr	1999-10-19
*	- déplacement (encore une fois !) des variables existentielles : elles sont	filliatr	1999-10-18
*	redeplacement des var. ex. dans kernel :-)	filliatr	1999-10-13
*	module Logic	filliatr	1999-10-12
*	deplacement des var. ex. dans proofs	filliatr	1999-10-08