blob: fb4d1b37a56c575792834c9c32754b66b498c89e (
plain)
1
2
3
4
5
6
7
8
9
10
11
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 ]
|
