| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-11 | Merge anomaly-traces-parser.el into coqdev.el. | Gaëtan Gilbert | |
| 2015-06-26 | dev/tool/anomaly-traces-parser.el | Gabriel Scherer | |
| An .emacs-ready elisp snippet to parse location of Anomaly backtraces and jump to them conveniently from the Emacs *compilation* output. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |