diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2008-07-11 20:18:55 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2008-07-11 20:18:55 +0000 |
| commit | 248618718012bbfa9e2d3d3b2e7876be2317de0f (patch) | |
| tree | e65ca8a2f23a0d21ab389d8d8b93183f1b46822f /mmm | |
| parent | 20ea1bbfafe6f127f7d283cccb96dced510df258 (diff) | |
backport of recent changes to isar-unicode-tokens.el:
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;
Diffstat (limited to 'mmm')
0 files changed, 0 insertions, 0 deletions