coq - The formal proof system

Age	Commit message (Expand)	Author
2015-06-23	Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.	Thomas Sibut-Pinote
2015-05-18	The Fail command does not catch uncaught exception anomalies anymore.	Pierre-Marie Pédrot
2015-04-21	STM: print trace on "anomaly, no safe id attached"	Enrico Tassi
2015-02-23	Fix some typos in comments.	Guillaume Melquiond
2014-12-16	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot
2013-03-17	Checker: simplify a bit its exception handler	letouzey
2013-03-14	Embedded exns in LtacLocated and EvaluatedError satisfy Errors.noncritical	letouzey
2013-03-13	Vernac+Toplevel: get rid of Error_in_file	letouzey
2013-03-12	New function Errors.noncritical for restricting try ... with ...	letouzey
2013-02-18	Updating the backtrace handling mechanism to accomodate the new	ppedrot
2013-01-28	Actually adding backtrace handling.	ppedrot
2013-01-28	Uniformization of the "anomaly" command.	ppedrot
2013-01-28	Added backtrace information to anomalies	ppedrot
2012-06-22	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot
2012-05-29	Vernacexpr is now a mli-only file, locality stuff now in locality.ml	letouzey
2012-03-02	Noise for nothing	pboutill
2011-05-17	More work on error handling	letouzey
2011-05-13	A new mechanism to handle errors.	aspiwack