coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	- fixed the Assert_failure error in kernel/modops	barras	2004-02-18
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...	herbelin	2003-11-29
*	Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofs	herbelin	2003-08-11
*	fabrication de ide/utf8.vo	letouzey	2003-05-23
*	Ajout répertoire interp	herbelin	2002-11-27
*	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
*	make install dans coq_makefile et repertoire associe user-contrib ajoute au l...	filliatr	2001-09-19
*	Parsing	herbelin	2001-08-10
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	* 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
*	Suppression warning no .coqrc	herbelin	2001-02-08
*	Meilleure approche du conflit path/freeze/library_root en séquentialisant la...	herbelin	2001-02-07
*	Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dir	herbelin	2001-02-07
*	Bug installation non locale	herbelin	2000-12-27
*	Mini-nettoyage noms longs	herbelin	2000-12-05
*	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...	herbelin	2000-11-29
*	Remplacement des add_include par add_rec_include pour avoir le repertoire dan...	herbelin	2000-11-28
*	nouveau load path	filliatr	2000-11-08
*	Ajout d'un LetIn primitif.	herbelin	2000-09-10
*	- états fabriqués avec -silent	filliatr	1999-12-13
*	- erreurs Pretype	filliatr	1999-12-10
*	debug discharge et inductifs	filliatr	1999-12-10
*	initialisation load path (provisoire)	filliatr	1999-12-06
*	erreurs lexicales	filliatr	1999-12-06
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03