Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update packaging for Emacs mode deletion | 2019-02-05 | |
| | | | | | | Proof General has been designated as the official interface to Coq, and Coq no longer ships a separate Emacs mode. Update packaging to purge references to the Emacs mode. | ||
* | Getting prepared for the licensing-problems-free 8.0 release of COQ. | 2004-07-15 | |