From 2e54ccbf2eabf4b0757d1e0d7f6133906bf913ba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 16:42:44 +0000
Subject: Note about testing on win32

---
 etc/testing-log.txt | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/etc/testing-log.txt b/etc/testing-log.txt
index 4447e73e..324284d4 100644
--- a/etc/testing-log.txt
+++ b/etc/testing-log.txt
@@ -1,3 +1,18 @@
+Fri Mar 24 15:40:10 GMT 2000 da
+
+ Tested Proof General on win32 (NT4sp6) with Isabelle, Coq and
+ XEmacs 21.1.9.
+
+ Problems:  Isabelle bombs on paths containing chars like \ : $
+            XEmacs barfs on reading some files in PG, why??
+	    e.g. coq/coq.el 
+
+	 Can fix this by reloading coq stuff again.
+
+	 A few probs remain, e.g. toolbar enablers for undo are
+	 flaky.
+	
+
 Wed Mar 22 13:45:34 GMT 2000 da 
 
  Tested file name quoting problem with Coq, Isabelle, LEGO.
@@ -5,6 +20,7 @@ Wed Mar 22 13:45:34 GMT 2000 da
    \ quoting triggers bug in Isabelle (complaint about pathname)
    " quoting not allowed in LEGO, \ quoting not needed.
    Coq works well with either.
+   
 	
 
 --------
-- 
cgit v1.2.3