Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove Emacs modes. | Théo Zimmermann | 2018-07-08 |
* | Switch the few remaining iso-latin-1 files to utf8 | Pierre Letouzey | 2014-12-09 |
* | Adapted the emacs mode to font-lock. Re-using code from ProofGeneral. | courtieu | 2009-05-28 |