coq - The formal proof system

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