diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 20:53:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 20:53:35 +0000 |
| commit | e526769fd3be508411f1e8e2face09123274e177 (patch) | |
| tree | febc8865ffd5237242b6789e82f4b8d83672bf6b /CHANGES | |
| parent | dcc2ec0f2618bcb3272364f39aa26411b46a494c (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -14,8 +14,8 @@ Proof General can now (almost) be reliably run as compiled code. - *** Please help me iron out any finaly difficulties by reporting problems. - At the moment I know that some key-bindings are lost *** + *** Please help me iron out any finaly difficulties + by reporting problems *** However, compiled Emacs Lisp files sometimes have incompatibilities between versions (and definitely between GNU Emacs and XEmacs). |