diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-10-25 13:57:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-25 13:57:24 +0000 |
| commit | 7922d0afd98f75728795f48e5763394da3b6f12c (patch) | |
| tree | e8a79236a8fa49f2e2409ae23eb232422578934f /isar/isar-keywords.el | |
| parent | 385e6f2309b0bb7e3eac68ec7e8da449e5fc77ef (diff) | |
Implementation of proof-auto-multiple-files.
Diffstat (limited to 'isar/isar-keywords.el')
0 files changed, 0 insertions, 0 deletions