diff options
| author | David Aspinall | 2000-06-01 13:38:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-01 13:38:35 +0000 |
| commit | 5c13858362a5039775e730390fbe5c11ccd1de42 (patch) | |
| tree | 64ddbfe66b536bc5264cbde1f34de99d21713411 /isar/Example.thy | |
| parent | 142a273eaa9803941b48ade269c77080cc7c58e8 (diff) | |
New parsing functions proof-segment-up-to-cmd{start,end}
Select new parsing function according to config variables
Use proof-comment-{start,end}-regexp, and set default values
in proof-config-done-related, from proof-comment-{start,end}
New proof-script-complete which uses proof-case-fold-search
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions