diff options
| -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 |