coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix function applications without labels (OCaml warning 6)	glondu	2010-09-28
*	Some dead code removal, thanks to Oug analyzer	letouzey	2010-09-24
*	* library/Library: Reformulate a comment.	regisgia	2010-08-27
*	* library/Library: Document.	regisgia	2010-08-27
*	* lib/Flags: Replace dont_load_proofs by load_proofs since not loading	regisgia	2010-08-27
*	* Improve documentation of LightenLibrary.	regisgia	2010-08-27
*	* (checker\|kernel)/Safe_typing: New LightenLibrary.	regisgia	2010-08-27
*	* library/Library: Remove the use of the old-fashioned lighten_library.	regisgia	2010-08-27
*	* library/Library: Remove lighten_library definition.	regisgia	2010-08-27
*	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