diff options
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 16 |
1 files changed, 12 insertions, 4 deletions
@@ -5,16 +5,23 @@ Summary of Changes for Proof General 3.1 from 3.0 Generic Changes --------------- +Fixes for supporting Japan versions of Emacs which have older CL macs +with Japanicised documentation. (Japan users, please report any other +problems you find, they may be fixable for similar reasons). + Minor bug fix for duplicated short output. (set proof-shell-eager-annotation-start-length appropriately) Bug fix with .thy files and X-Symbol mode: subsequently visited - theory files would have X-Symbols broken. (NB: Fix in progress) - -Bug fix for FSF Emacs 20.5. (Emacs would freeze when starting proof -assistant due to character matching problem). + theory files would have X-Symbols broken. +Bug fix for (non-mule) FSF Emacs 20.5. (Emacs would freeze when +starting proof assistant due to character matching problem). +Fix for infamous Solaris ^G problem, by setting +process-connection-type=nil to force piped communication instead of +ptys. (This may have other side effects so please report any you +suspect). @@ -49,3 +56,4 @@ Only in the developers' release Internal changes for developers to note --------------------------------------- +No changes. |