From dad9e29189e52ab4494412fb6f8b0745011a6168 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Feb 1999 14:32:28 +0000
Subject: Mentioned PROOFGENERAL_ASSISTANTS

---
 CHANGES | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 27e76c37..5e0c921a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,12 +1,18 @@
 Summary of Changes for Proof General 2.1
 ----------------------------------------
 
-* Documentation improvements.   Text added for Coq mode.
+* Documentation improvements.   
+  Text added for Coq mode.
+
+* In proof-site.el, the environment variable PROOFGENERAL_ASSISTANTS 
+  is examined for the default value of proof-assistants.  This
+  means that no editing of proof-site.el should normally be 
+  needed now. 
 
 * Support for x-symbol package to beautify 
   input and output with special fonts.
   Patches for Isabelle provided by David von Oheimb.
-  (incomplete)
+  (currently incomplete)
 
 * Bug fix for Isabelle theory file mode.
 
-- 
cgit v1.2.3