From 6ae424528079ab46f2a48a55c0850ee8b67424ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Mar 2000 16:37:55 +0000
Subject: Fix for XEmacs note

---
 CHANGES | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGES b/CHANGES
index ad358cc0..721d7217 100644
--- a/CHANGES
+++ b/CHANGES
@@ -48,6 +48,10 @@
      Emacs would freeze when starting proof assistant due to character 
      matching problem.
 
+**** Fixes for XEmacs on Windows.  
+     Toolbar now enabled when console-type=mswindows.
+
+
 *** Fix for infamous Solaris ^G problem: proof-shell-process-connection-type 
 
   A user (or proof assistant configuration) can now specify whether
-- 
cgit v1.2.3