coq - The formal proof system

Age	Commit message (Expand)	Author
2016-11-02	Fix various shortcomings of the warnings infrastructure.	Maxime Dénès
2016-11-02	Put string between quotes when printing an option value.	Maxime Dénès
2016-10-04	Changing the separator for appended string options to comma.	Maxime Dénès
2016-10-01	Allow appending to string options.	Guillaume Melquiond
2016-09-06	A proposal to unify the messages given by Test and Print Options (#5062).	Hugo Herbelin
2016-07-03	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey
2016-06-29	A new infrastructure for warnings.	Maxime Dénès
2016-05-31	Feedback cleanup	Emilio Jesus Gallego Arias
2016-01-20	Update copyright headers.	Maxime Dénès
2015-10-08	Goptions: new value type: optional string	Enrico Tassi
2015-04-23	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond
2015-02-17	Deprecated options issue a warning.	Pierre-Marie Pédrot
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