diff options
| author | David Aspinall | 2000-03-09 10:47:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-09 10:47:26 +0000 |
| commit | 292d3087895cd8b815eaea75271cd433bd913a94 (patch) | |
| tree | e33a3fcf8d40051ec46a89f4cf2fdecd1c36f9e6 /BUGS | |
| parent | 362b2250eaf4dd50c3fa47b9abeee32fc4ef02f0 (diff) | |
Updated
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 4 |
1 files changed, 2 insertions, 2 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! |