diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 15:52:41 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 15:52:41 +0000 |
| commit | e9166b2097ae7488e303a019df2a214a5f7889dd (patch) | |
| tree | 7684b0bedd19a45294ace54771aee81448c56f48 /demoisa | |
| parent | af74656b7755be523e9e154184db1a89a175ffa1 (diff) | |
Note about setting env variable to test this.
Diffstat (limited to 'demoisa')
| -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 |