diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-09-14 10:16:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-09-14 10:16:34 +0000 |
| commit | 6dbb6eb4a16c22666dda24facf0ad467086920c3 (patch) | |
| tree | 97987a11dac576a79ed450c9fa669e7b950c4b7e /demoisa | |
| parent | cf4eb13ed0e0fa4e89320208e5aea715ea8c1722 (diff) | |
Add comment
Diffstat (limited to 'demoisa')
| -rw-r--r-- | demoisa/demoisa.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/demoisa/demoisa.el b/demoisa/demoisa.el index 05c56994..750853df 100644 --- a/demoisa/demoisa.el +++ b/demoisa/demoisa.el @@ -10,6 +10,8 @@ ;; ;; See README in this directory for an introduction. ;; +;; NEW INSTANCES: please use demoisa-easy.el as a basis instead. +;; ;; Basic configuration is controlled by one line in `proof-site.el'. ;; It has this line in proof-assistant-table: ;; @@ -28,7 +30,6 @@ ;; shell before starting Emacs (or customize proof-assistants). ;; - (require 'proof) ; load generic parts |