coq - The formal proof system

Age	Commit message (Expand)	Author
2015-01-12	Update headers.	Maxime Dénès
2014-06-25	all coqide specific files moved into ide/	Enrico Tassi
2014-03-03	Goptions do not rely anymore on generic equality.	Pierre-Marie Pédrot
2013-10-24	More monomorphic List.mem + List.assoc + ...	letouzey
2013-10-24	Turn many List.assoc into List.assoc_f	letouzey
2013-09-27	Removing a bunch of generic equalities.	ppedrot
2013-09-19	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc
2013-08-25	Added a more efficient way to recover the domain of a map.	ppedrot
2013-05-08	Uniformizing the [if_warn] flag used for warning printing and put	ppedrot
2013-05-06	States: frozen states can hold closures	gareuselesinge
2013-04-22	code simplifications concerning Summary	letouzey
2013-01-28	Uniformization of the "anomaly" command.	ppedrot
2013-01-27	Improving formatting of output of "Test table".	herbelin
2012-12-14	Modulification of identifier	ppedrot
2012-11-22	Monomorphization (library)	ppedrot
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-09-14	Partial revert of Yann commit in order to use CLib.List when opening	ppedrot
2012-09-14	This patch removes unused "open" (automatically generated from	regisgia
2012-08-08	Updating headers.	herbelin
2012-05-30	Getting rid of Pp.msg	ppedrot
2012-04-12	lib directory is cut in 2 cma.	pboutill
2012-03-02	Noise for nothing	pboutill
2012-02-23	Implement the substitution function for global options. Fixes anomaly in ssre...	msozeau
2011-12-21	sequel of previous commit	letouzey
2011-12-17	A pass on warning printings. Made systematic the use of msg_warning so	herbelin
2011-11-24	Added a function to inspect current option state.	ppedrot
2011-11-24	Added a DEPRECATED flag in declaration of options. For now only two options a...	ppedrot
2011-11-18	Adding the type infrastructure to handle properly API management of options	ppedrot
2011-11-02	Add type annotations around all calls to Libobject.declare_object	letouzey
2011-03-17	Goptions: repair Unset for int options	letouzey
2010-09-24	Some dead code removal, thanks to Oug analyzer	letouzey
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-07-23	Some fine-tuning after removal of automatic imports of coercions in r13310	herbelin
2010-06-25	Moved error when option does not exist into a warning (this allows to	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
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-14	Ajout de la gestion de Local et Global pour les options (au sens de	aspiwack
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-08-02	Improved parameterization of Coq:	herbelin
2009-04-08	Some dead code removal + cleanups	letouzey
2007-12-06	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack
2007-04-29	Ajout possibilité d'options à trois mots.	herbelin
2006-07-27	Correction du bug #1170: les options synchronisées déclarées dans une sect...	notin
2004-11-16	Names.substitution (and related functions) and Term.subst_mps moved to	sacerdot
2004-07-16	Nouvelle en-tête	herbelin
2003-10-07	Correction du bug 335 et Export/Require Export dans un module	coq
2003-04-09	Bug init_function	herbelin