diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 08:00:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 08:00:56 +0000 |
| commit | a35b5be37664216deb2afb2ec63009637846d9cc (patch) | |
| tree | 4538f73c11834a06d96b172ffcd12f2098d5582b /twelf | |
| parent | 4e409735c837314d28f96afa0a7cad9697181fc6 (diff) | |
Updated.
Diffstat (limited to 'twelf')
| -rw-r--r-- | twelf/twelf.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/twelf/twelf.el b/twelf/twelf.el index b1b8f1fe..82b32e7e 100644 --- a/twelf/twelf.el +++ b/twelf/twelf.el @@ -64,7 +64,10 @@ ;; or recognize while the prover is pontificating proof-shell-eager-annotation-start "^\\[Opening \\|\\[Closing " - proof-shell-eager-annotation-end "\n") + proof-shell-eager-annotation-end "\n" + + ;; next setting is just to prevent warning + proof-save-command-regexp proof-no-regexp) ;; unset: all of the interactive proof commands |