diff options
author | Makarius Wenzel <makarius@sketis.net> | 1999-09-25 11:27:29 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 1999-09-25 11:27:29 +0000 |
commit | 3ee27482c2e06ff329c8c35667e347cd2737b917 (patch) | |
tree | 3fc32c5ff7ae47af2d322f9c73b4d9c751615b76 /isar/isar-keywords.el | |
parent | c7f0c84f47c9b57c2b9c2fab78b29a0db99480d9 (diff) |
proof-shell-proof-completed-regexp nil;
Diffstat (limited to 'isar/isar-keywords.el')
0 files changed, 0 insertions, 0 deletions