coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Protection against anomaly when loading a state with bad magic number.	herbelin	2010-06-22
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	This big commit addresses two problems:	soubiran	2009-10-21
*	Remove useless Liboject.export_function field	glondu	2009-09-17
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Death of "survive_module" and "survive_section" (the first one was	herbelin	2009-08-13
*	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin	2009-08-06
*	Support for binding Coq root read-only in -R option	herbelin	2009-07-01
*	pushed evar reduction in kernel	barras	2009-02-06
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	- coq_makefile: target install now respects the original tree structure	herbelin	2008-12-24
*	correction bug 1997.	soubiran	2008-11-25
*	- Synchronized subst_object with load_object (load_and_subst_objects)	herbelin	2008-11-23
*	moved magic numbers to configure (share coq/coqchk)	barras	2008-07-24
*	Suite de la révision #11212	notin	2008-07-08
*	Fichiers oubliés lors du 11188 :-(	herbelin	2008-06-30
*	Lissage de la gestion des chemins de chargement de fichiers :	herbelin	2008-06-29
*	Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...	notin	2008-06-25
*	Confusion sur commit précédent de library. La capture du Not_found	herbelin	2008-06-12
*	Bug dans l'adaptation de library_full_filename lors du débranchement	herbelin	2008-06-11
*	- Documentation de admit et Print Assumptions.	herbelin	2008-06-09
*	Enhancements to coqdoc, better globalization of sections and modules.	msozeau	2008-06-06
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Factorisation des opérations sur le type option de Util dans un module	aspiwack	2007-12-05
*	Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo...	herbelin	2007-02-24
*	Correction bug #1333 (test non récursivité des dépendances en d'autres	herbelin	2007-01-24
*	Changement du magic number	notin	2006-11-06
*	Indentation + svnprop	notin	2006-09-12
*	Nombre magique pour la 8.1beta	herbelin	2006-07-13
*	Correction bug #990 (LoadPath et option -R de coqide	notin	2006-05-30
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	Fonctionnalisation du cache 'compunit' pour réparer correctement le bug #103...	herbelin	2005-11-26
*	Types inductifs parametriques	mohring	2005-11-02
*	Correction bug #1030 (conséquence du commit 1.84 sur le discharge: add_froze...	herbelin	2005-11-01
*	Moving centralised discharge into dispatched discharge_function; required to ...	herbelin	2005-02-18
*	Nettoyage et documentation de Library	herbelin	2005-02-06
*	Localisation des libraries compilées uniquement via la structure du loadpath...	herbelin	2005-02-05
*	Bug 'Locate Library lib' quand 'lib' est aussi un module	herbelin	2004-11-17
*	Nouvelle en-tête	herbelin	2004-07-16
*	MAJ numéro magique	herbelin	2004-04-14
*	The XML exportation hook for require is now active for:	sacerdot	2004-03-30
*	Crocret xml pour Require	herbelin	2004-03-29
*	preparation packages V8.0-cdrom	barras	2004-03-15
*	Bug de Require multiple	herbelin	2004-01-28
*	Changement numero magique; message d'erreur en cas de mauvaise syntaxe	herbelin	2003-12-23
*	Mise en place d'un mecanisme ne chargeant pas les preuves opaques	herbelin	2003-10-08
*	Correction du bug 335 et Export/Require Export dans un module	coq	2003-10-07
*	but Require dans une Section	filliatr	2003-05-19
*	table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ...	filliatr	2003-05-15