diff options
| -rw-r--r-- | README.windows | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/README.windows b/README.windows index 7722b8df..751de198 100644 --- a/README.windows +++ b/README.windows @@ -1,6 +1,9 @@ -ProofGeneral now works under Windows with the following restrictions: +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) + +- 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 |