coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Force le renommage dans bad_ind_arguments	herbelin	2000-01-31
*	documentation	filliatr	2000-01-28
*	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr	2000-01-21
*	Nettoyage des fichiers de parsing	herbelin	2000-01-13
*	Ajout de Record	herbelin	2000-01-11
*	Restructuration printer et parser	herbelin	2000-01-07
*	Renommage command en constr	herbelin	2000-01-07
*	Déplacement print_emacs dans Options	herbelin	2000-01-07
*	Déplacement non-affichage des coercions dans termast	herbelin	2000-01-07
*	bug : import -> export dans Require	filliatr	1999-12-16
*	message erreur Scheme	herbelin	1999-12-15
*	Nouveaux types 'constructor' et 'inductive' dans Term;	herbelin	1999-12-15
*	Les inductifs dans Scheme doivent être des ident d'inductifs	herbelin	1999-12-15
*	- états fabriqués avec -silent	filliatr	1999-12-13
*	- méthode load sur les Hints	filliatr	1999-12-13
*	petite erreur dans Command	filliatr	1999-12-13
*	documentation interfaces	filliatr	1999-12-13
*	modules	filliatr	1999-12-12
*	- erreurs Pretype	filliatr	1999-12-10
*	debug reset	filliatr	1999-12-10
*	Suppression Rel de rawconstr et correction de bugs d'affichage	herbelin	1999-12-10
*	debug discharge et inductifs	filliatr	1999-12-10
*	Ajout des messages d'erreurs de Cases	herbelin	1999-12-09
*	- constantes avec recettes	filliatr	1999-12-09
*	Discharge (encore bugge)	filliatr	1999-12-09
*	deplacement de Discharge dans toplevel	filliatr	1999-12-08
*	initialisation load path (provisoire)	filliatr	1999-12-06
*	declarations eliminations / debuggae inductifs (debut)	filliatr	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
*	Version initiale	herbelin	1999-12-02
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	module Command	filliatr	1999-12-02
*	Intégration du Termast et du Retyping de HH, et modifications connexes	herbelin	1999-12-01
*	module Metasyntax	filliatr	1999-12-01
*	mise au point Declare et avancee dans Astterm	filliatr	1999-12-01
*	portage Vernacentries (debut)	filliatr	1999-12-01
*	- Typing -> Safe_typing	filliatr	1999-12-01
*	portage modules Evarconv et Evarutil	filliatr	1999-11-29
*	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
*	On se fait la main: plus de precision si ill-formed rec body	herbelin	1999-11-10