coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Monomorphization (library)	ppedrot	2012-11-22
*	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey	2012-10-02
*	Cleaning interface of Util.	ppedrot	2012-09-18
*	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot	2012-09-14
*	This patch removes unused "open" (automatically generated from	regisgia	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	More uniformisation in Pp.warn functions.	ppedrot	2012-05-30
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Noise for nothing	pboutill	2012-03-02
*	A pass on warning printings. Made systematic the use of msg_warning so	herbelin	2011-12-17
*	Add type annotations around all calls to Libobject.declare_object	letouzey	2011-11-02
*	Lib.node: merge OpenedModtype and OpenedModule, same for Closed...	letouzey	2011-09-05
*	Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacks	letouzey	2011-04-03
*	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