coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	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	2014-03-05
*	Printing any backtrace in debug mode, not only anomalies.	ppedrot	2013-08-10
*	Embedded exns in LtacLocated and EvaluatedError satisfy Errors.noncritical	letouzey	2013-03-14
*	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-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