diff options
| author | Makarius Wenzel | 1999-08-18 17:08:17 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-18 17:08:17 +0000 |
| commit | 13673998f7d36e2700433d7d0c4432eaeef5b4be (patch) | |
| tree | a7edf44d81cedda1adfb5e6f9b544b50e742097f /isar/Example.thy | |
| parent | e198b84fe257e751f7748983292b755461df5881 (diff) | |
proof-shell-start-goals-regexp: include \n;
isa-init-syntax-table moved to isa-syntax.el;
improved isa-update-thy-only;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions