diff options
| -rw-r--r-- | README.windows | 12 |
1 files changed, 0 insertions, 12 deletions
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 <Christophe.Raffalli@univ-savoie.fr>, 1.8.01 ]
\ No newline at end of file |