diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 10:47:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 10:47:26 +0000 |
| commit | 292d3087895cd8b815eaea75271cd433bd913a94 (patch) | |
| tree | e33a3fcf8d40051ec46a89f4cf2fdecd1c36f9e6 | |
| parent | 362b2250eaf4dd50c3fa47b9abeee32fc4ef02f0 (diff) | |
Updated
| -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. |