Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [emacs] Remove probably unneeded patch | René 'Necoro' Neumann | 2018-06-10 | 1 | -28/+0 |
* | Patch not needed for emacs-23.4 | René Neumann | 2012-03-06 | 1 | -0/+0 |
* | Add the emacs patch needed for isabelle. | René 'Necoro' Neumann | 2012-01-10 | 1 | -0/+28 |