diff options
-rw-r--r-- | BUGS | 4 | ||||
-rw-r--r-- | CHANGES | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -11,9 +11,9 @@ Proof General 3.0 BUGS addendum * FSF Emacs: problem with version 20.5: PG freezes when starting a proof assistant. Fixed in the current pre-release. -* Problems with Japan versions of FSF Emacs (at least) which have +* Problems with Japanese versions of FSF Emacs (at least) which have older versions of CL macros (defined in file "egg"). Hopefully fixed -in current pre-release, please details of any problems! +in current pre-release, please send in details of any problems! @@ -22,9 +22,9 @@ *** README file added for each supported prover, explaining support. -*** Fixes for supporting Japan versions of Emacs which have older CL macs. +*** Fixes for supporting Japanese versions of Emacs which have older CL macs. - CL macs with Japanicised documentation, defined in "egg.el". + Probs with CL macs with Japanicised documentation, defined in "egg.el". Japanese Emacs users, please report any other problems you find, they may be fixable for similar reasons. |