diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2009-11-21 19:36:07 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2009-11-21 19:36:07 +0000 |
| commit | 37de2996da5255159703148363b31d001a301300 (patch) | |
| tree | 29e210b637af050b97f73253f71afce46481aedb /isar/isar-syntax.el | |
| parent | 7e3a6a9ade7bbde17ba15c13764ecbe019d356ca (diff) | |
more robust THIS/SUPER: allow spaces;
modernized usage, eliminated obsolete options -I, -P, -X, -f;
re-interpreted option -x as "unicode symbols";
Diffstat (limited to 'isar/isar-syntax.el')
0 files changed, 0 insertions, 0 deletions