From 304f2aaa73a3224399b808415d356d7e0fb51b23 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Wed, 25 Jul 2001 14:23:07 +0000
Subject: *** empty log message ***

---
 README.windows | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 README.windows

diff --git a/README.windows b/README.windows
new file mode 100644
index 00000000..7722b8df
--- /dev/null
+++ b/README.windows
@@ -0,0 +1,6 @@
+
+ProofGeneral now works under Windows with the following restrictions:
+
+- Only tested with PhoX mode.
+- Only tested with XEmacs for win32 version 21.1.9 and 21.4.3 (not tested with XEmacs cygwin or any other version)
+- Toolbar: enablers do not work so the buttons are always active
-- 
cgit v1.2.3