Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Checker: simplify a bit its exception handler | 2013-03-17 | |
* | Embedded exns in LtacLocated and EvaluatedError satisfy Errors.noncritical | 2013-03-14 | |
* | Vernac+Toplevel: get rid of Error_in_file | 2013-03-13 | |
* | New function Errors.noncritical for restricting try ... with ... | 2013-03-12 | |
* | Updating the backtrace handling mechanism to accomodate the new | 2013-02-18 | |
* | Actually adding backtrace handling. | 2013-01-28 | |
* | Uniformization of the "anomaly" command. | 2013-01-28 | |
* | Added backtrace information to anomalies | 2013-01-28 | |
* | Added an indirection with respect to Loc in Compat. As many [open Compat] | 2012-06-22 | |
* | Vernacexpr is now a mli-only file, locality stuff now in locality.ml | 2012-05-29 | |
* | Noise for nothing | 2012-03-02 | |
* | More work on error handling | 2011-05-17 | |
* | A new mechanism to handle errors. | 2011-05-13 |