diff options
| author | Makarius Wenzel | 2006-11-04 19:57:11 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2006-11-04 19:57:11 +0000 |
| commit | 639d558f33cc82033866af8c4d0d0a62fe50655f (patch) | |
| tree | 26ffaf25e33880646a05b1fa4a8d994007579b7f /pgshell/example.pgsh | |
| parent | 84779c34d7e037508271e3fad8f853299ced473d (diff) | |
isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which usually appears locally as plain theory command;
isar-keywords-proper: simplified font-lock;
added isar-match-nesting -- distinguishes font-lock for local vs. global begin/end;
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions