| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-07-16 | Deleted file | David Aspinall | |
| 2008-07-11 | backport of recent changes to isar-unicode-tokens.el: | Makarius Wenzel | |
| more precise regexps isar-token-match, isar-control-token-match; isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expects; isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a particular meaning in Isabelle; add back |-> shortcut; | |||
| 2008-07-07 | unicode shortcut alist: literal backslash instead of strange control ↵ | Makarius Wenzel | |
| sequence, e.g. "\\nat" instead of "\nat"; | |||
| 2008-07-05 | TEMPORARY: add unicode-tokens2 mechanism to test across different machines | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |