diff options
| author | Makarius Wenzel | 1999-05-23 14:25:31 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-23 14:25:31 +0000 |
| commit | d0e7c7bb3cccd76882f9b94bb44e44020e6391e6 (patch) | |
| tree | 934f6851b7ce73d57264898b80a3fce341b0dd10 /isar/Example.thy | |
| parent | 91d72cf79c4c22be191f23af7de574fd8b0ae27f (diff) | |
improved classification of keywords (see also isar-keywords.el);
improved regexps and font-lock;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions