diff options
Diffstat (limited to 'README.windows')
| -rw-r--r-- | README.windows | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/README.windows b/README.windows new file mode 100644 index 00000000..fb4d1b37 --- /dev/null +++ b/README.windows @@ -0,0 +1,12 @@ + +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 |