From df0d8effb6c2a1192201ef040d619819bdf72036 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 8 Aug 2002 08:23:41 +0000 Subject: Deleted file --- README.windows | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 README.windows diff --git a/README.windows b/README.windows deleted file mode 100644 index fb4d1b37..00000000 --- a/README.windows +++ /dev/null @@ -1,12 +0,0 @@ - -Proof General 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 - - -[ Christoph Rafalli , 1.8.01 ] \ No newline at end of file -- cgit v1.2.3