diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-08-01 19:38:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-08-01 19:38:51 +0000 |
| commit | f676e3a9da10dd69c96ffbb30f4aa8e6e1f66451 (patch) | |
| tree | a077f4a860fc919f4e24346fa8614e14be03fb5b | |
| parent | a704f1faaf6aa7922a6887d33547d74397add0b8 (diff) | |
Formatting
| -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 |