diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-23 10:02:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-23 10:02:31 +0000 |
| commit | e5c96b5a60eec1a64de3fd93d0d21e867a09c0f5 (patch) | |
| tree | e448cb91ec00e6862f41fabb84c3b84ea6c354aa /isa/isa.el | |
| parent | 46620558210c52a6ca510a77f2ae3bfc48941a05 (diff) | |
Added proof-mode-for-script setting.
Diffstat (limited to 'isa/isa.el')
| -rw-r--r-- | isa/isa.el | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -53,6 +53,7 @@ no regular or easily discernable structure." "Configure generic proof scripting mode variables for Isabelle." (setq proof-www-home-page isabelle-web-page + proof-mode-for-script 'isa-proofscript-mode ;; proof script syntax proof-terminal-char ?\; ; ends a proof proof-comment-start "(*" ; comment in a proof |