diff options
| author | Makarius Wenzel | 1999-05-27 19:26:36 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-27 19:26:36 +0000 |
| commit | bb675ae202e887b2a47d57d0aecbec1bfa8794ba (patch) | |
| tree | 49432c465e16d23f78c26479b9248b441d0bb1ca /isar/Example.thy | |
| parent | 654813cfbde23c0855f1619d5894491dc1f7eec4 (diff) | |
proof-parse-to-point improved to support proof-string-start-regexp,
proof-string-end-regexp, proof-comment-end, proof-comment-start,
and parentheses according to current syntax table;
renamed proof-commands-regexp to proof-indent-commands-regexp, which
is less confusing);
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions