Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [emacs] [toplevel] Make emacs flag local to the toplevel. | Emilio Jesus Gallego Arias | 2017-06-01 |
| | | | | | We remove the emacs-specific printing code from the core of Coq, now `-emacs` is a printing flag controlled by the toplevel. | ||
* | Support for using type information to infer more precise evar sources. | Hugo Herbelin | 2017-05-30 |
| | | | | | | | | This allows a better control on the name to give to an evar and, in particular, to address the issue about naming produced by "epose proof" in one of the comment of Zimmi48 at PR #248 (see file names.v). Incidentally updating output of Show output test (evar numbers shifted). | ||
* | add Show test with -emacs flag | Paul Steckler | 2017-05-25 |