diff options
Diffstat (limited to 'COMPATIBILITY')
| -rw-r--r-- | COMPATIBILITY | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 467dfe99..98da00f7 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -15,6 +15,7 @@ Maintaining compatibility across proof assistant versions, Emacs versions and operating systems is virtually impossible. In this major release ** XEmacs compatibility has been dropped ** + Running on Windows ------------------ |