diff options
| -rw-r--r-- | demoisa/demoisa.el | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/demoisa/demoisa.el b/demoisa/demoisa.el index 1d9dbf53..7f77b5c5 100644 --- a/demoisa/demoisa.el +++ b/demoisa/demoisa.el @@ -59,9 +59,15 @@ ;; a .ML file is visited, and sets the mode to `demoisa-mode' ;; (defined below). ;; -;; (I've called this instance "Isabelle Demo Proof General" just to +;; I've called this instance "Isabelle Demo Proof General" just to ;; avoid confusion with the real "Isabelle Proof General" in case the -;; demo gets loaded by accident). +;; demo gets loaded by accident. +;; +;; To make the line above take precedence over the real Isabelle mode +;; later in the table, set PROOFGENERAL_ASSISTANTS=demoisa in the +;; shell before starting Emacs (or customize proof-assistants). +;; + (require 'proof) ; load generic parts |