| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-10-18 | [pp] Try to properly tag error messages in cError. | Emilio Jesus Gallego Arias | |
| In order to get proper coloring, we must tag the headers of error messages in `CError`. This should fix bug https://coq.inria.fr/bugs/show_bug.cgi?id=5135 However, note that this could interact badly with the richpp printing used by the IDE. At this level, we have no clue which tag we'd like to apply, as we know (and shouldn't) nothing about the top level backend. Thus, for now I've selected the console printer, hoping that the `Richpp` won't crash the IDE. | |||
| 2016-09-29 | fix bug 3683 : adds references to the web site for the bug tracker | Yves Bertot | |
| in error messages | |||
| 2016-07-03 | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib ↵ | Pierre Letouzey | |
| module) For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |