diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-19 10:38:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-19 10:38:48 +0000 |
commit | 49fda3fd12b9985da15a52756e4a18fd2bc5ba2b (patch) | |
tree | 3019b25e43a985ae6313cc49f8ce7ed2f07d312b /twelf | |
parent | cc57674092a79b12053f8a5556c331ec83426ae5 (diff) |
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment-{start,end}-regexp.
Diffstat (limited to 'twelf')
-rw-r--r-- | twelf/twelf.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/twelf/twelf.el b/twelf/twelf.el index 2285b975..44b84357 100644 --- a/twelf/twelf.el +++ b/twelf/twelf.el @@ -42,10 +42,10 @@ proof-assistant-home-page "http://www.cs.cmu.edu/~twelf/" proof-terminal-char ?\. - proof-comment-start "%" ;; for inserting comments - proof-comment-end "" - proof-comment-start-regexp "%[%{ \t\n\f]" ;; recognizing - proof-comment-end-regexp "%}\\|\n" ;; comments + proof-script-comment-start "%" ;; for inserting comments + proof-script-comment-end "" + proof-script-comment-start-regexp "%[%{ \t\n\f]" ;; recognizing + proof-script-comment-end-regexp "%}\\|\n" ;; comments proof-shell-auto-terminate-commands nil ; server commands don't end with . proof-shell-strip-crs-from-input nil ; server needs CRs with readDecl |