aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cErrors.ml
Commit message (Expand)AuthorAge
* [vernac] Move `Quit` and `Drop` to the toplevel layer.Gravatar Emilio Jesus Gallego Arias2018-03-11
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Merge PR #6117: Fix printing anomaly in convGravatar Maxime Dénès2017-11-13
|\
| * Fixing an (apparently misplaced) spc in anomaly reporting message.Gravatar Hugo Herbelin2017-11-08
* | [api] Remove 8.7 ML-deprecated functions.Gravatar Emilio Jesus Gallego Arias2017-11-07
|/
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Drop '.' from CErrors.anomaly, insert it in argsGravatar Jason Gross2017-06-02
* [cleanup] Unify all calls to the error function.Gravatar Emilio Jesus Gallego Arias2017-05-27
* Fix 4.04 warningsGravatar Gaetan Gilbert2017-04-27
* [pp] Add anomaly header to anomaly error messages.Gravatar Emilio Jesus Gallego Arias2017-03-22
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [error] Move back fatal_error to toplevelGravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`Gravatar Emilio Jesus Gallego Arias2017-03-21
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-29
|\
| * [pp] Try to properly tag error messages in cError.Gravatar Emilio Jesus Gallego Arias2016-10-18
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-02
|\|
| * fix bug 3683 : adds references to the web site for the bug trackerGravatar Yves Bertot2016-09-29
* | Make the user_err header an optional parameter.Gravatar Emilio Jesus Gallego Arias2016-08-19
* | Remove errorlabstrm in favor of user_errGravatar Emilio Jesus Gallego Arias2016-08-19
* | Unify location handling of error functions.Gravatar Emilio Jesus Gallego Arias2016-08-19
|/
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 02:21:09 +0000