From e9166b2097ae7488e303a019df2a214a5f7889dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 15:52:41 +0000
Subject: Note about setting env variable to test this.

---
 demoisa/demoisa.el | 10 ++++++++--
 1 file 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
 
-- 
cgit v1.2.3