Mentioned PROOFGENERAL_ASSISTANTS

1 files 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.