coq - The formal proof system

Age	Commit message (Expand)	Author
2016-04-20	Adding an OCaml printer for pre-initialization anomalies.	Pierre-Marie Pédrot
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-23	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond
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
2014-03-05	Canary testing absence of generic equality for KerNames	Pierre-Marie Pédrot
2014-03-05	Remove some dead-code (thanks to ocaml warnings)	Pierre Letouzey
2013-08-10	Printing any backtrace in debug mode, not only anomalies.	ppedrot
2013-03-14	Embedded exns in LtacLocated and EvaluatedError satisfy Errors.noncritical	letouzey
2013-03-13	Made the backtrace type opaque	ppedrot
2013-03-13	Vernac+Toplevel: get rid of Error_in_file	letouzey
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 8)	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