coq - The formal proof system

Age	Commit message (Expand)	Author
2017-03-07	Farewell decl_mode	Enrico Tassi
2017-02-17	Moving the Ltac plugin to a pack-based one.	Pierre-Marie Pédrot
2016-07-03	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey
2016-01-20	Update copyright headers.	Maxime Dénès
2015-03-13	rewiring Czar printers that were disabled	Pierre Corbineau
2015-01-12	Update headers.	Maxime Dénès
2014-09-12	Referring to evars by names. Added a parser for evars (but parsing of	Hugo Herbelin
2013-01-28	Uniformization of the "anomaly" command.	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-03-02	Noise for nothing	pboutill
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-12	Fixing spelling: pr_coma -> pr_comma	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-22	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack