diff options
| author | David Aspinall | 2002-08-08 08:23:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-08 08:23:41 +0000 |
| commit | df0d8effb6c2a1192201ef040d619819bdf72036 (patch) | |
| tree | 7dd038c3e92d859416cd95415302fbd5758e861d /README.windows | |
| parent | 775056ff089d4036060b327942f86c764fef81d9 (diff) | |
Deleted file
Diffstat (limited to 'README.windows')
| -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 |