diff options
| author | Makarius Wenzel | 1999-05-27 19:31:39 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-27 19:31:39 +0000 |
| commit | 40110d21d91ceece64962d76fb3bbdc855de63d5 (patch) | |
| tree | 2369de3ddc57ac92c8dbe51c45b2a00630fd4581 /isar/Example.thy | |
| parent | 936bb55d13bdca23b9bc46db747130f05d9aeefa (diff) | |
provide proof-string-start-regexp, proof-string-end-regexp;
renamed proof-commands-regexp to proof-indent-commands-regexp, which
is less confusing);
improved undo / kill operations;
tweaked syntax table to cope with (* *) (actual comment) and {* *}
(long string);
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions