coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	- Fixed minor bug #1994 in the tactic chapter of the manual [doc]	herbelin	2008-11-22
*	Remove calls to Dynlink.add_{interfaces,available_units} altogether	glondu	2008-10-29
*	Native "Declare ML Module" when possible	glondu	2008-10-28
*	Uniformisation du format des messages d'erreur (commencent par une	herbelin	2008-07-17
*	Lissage de la gestion des chemins de chargement de fichiers :	herbelin	2008-06-29
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
*	New bootstrapping, improved, Makefile system	corbinea	2007-07-13
*	Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de	herbelin	2006-11-21
*	Nettoyage et documentation de Library	herbelin	2005-02-06
*	Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06	herbelin	2004-07-17
*	Branchement sur pa_macro, pa_ifdef devenant obsolete en 3.08	herbelin	2004-07-16
*	Nouvelle en-tête	herbelin	2004-07-16
*	Correction du bug 335 et Export/Require Export dans un module	coq	2003-10-07
*	Reparation plus juste de l'inefficacite avec loaded_modules (respecte l'ordre)	herbelin	2003-10-04
*	Correction bug explosion de la taille de la liste loaded_modules	herbelin	2003-10-03
*	* empty log message *	barras	2003-03-12
*	Chargement dynamique de .cma	delahaye	2003-02-13
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Meilleure gestion de la reduction dans Field	delahaye	2002-03-17
*	compat ocaml 3.03	filliatr	2001-12-13
*	Oops	barras	2001-11-05
*	GROS COMMIT:	barras	2001-11-05
*	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin	2001-10-17
*	Amélioration mise en page Print ML Module et Print ML Module	herbelin	2001-10-17
*	On ignore les répertoires qui ne correspondent pas à des idents	herbelin	2001-09-20
*	Protection hd d'une liste vide	herbelin	2001-09-19
*	Parsing	herbelin	2001-08-10
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	utilisation de Options.if_verbose	filliatr	2001-04-03
*	entetes	filliatr	2001-03-15
*	Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dir	herbelin	2001-02-07
*	load_path_entry structure simplified; field relative_subdir renamed to coq_di...	sacerdot	2000-11-29
*	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...	herbelin	2000-11-29
*	certains effets disparaissent a la sortie des sections, d'autres non (selon S...	filliatr	2000-11-24
*	- coqc: utilise le meilleur coq possible	filliatr	2000-11-24
*	methode export	filliatr	2000-11-15
*	nouveau load path	filliatr	2000-11-08
*	g_natsyntax et g_zsyntax maintenant toujours linkes	filliatr	2000-10-27
*	modules	filliatr	1999-12-12
*	premier debugage	filliatr	1999-12-05
*	compilation native	filliatr	1999-12-03