diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-06-16 17:09:40 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-06-16 17:09:40 +0000 |
| commit | 998b5fa1189f4a659ff3cbadae7241288b6ccddf (patch) | |
| tree | 51393e52857c99999f3ac94e73933c95172a0dd4 /isa/Example.ML | |
| parent | 622196091c6f2c6fa43c03d35b3e8007d8f8706f (diff) | |
proof-script-find-next-entity: support list of match items;
replaced spurious re-search-forward by proof-re-search-forward;
proof-script-important-settings: commented out proof-goal-with-hole-regexp,
proof-save-with-hole-regexp;
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions