coq - the Coq proof assistant

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