From e526769fd3be508411f1e8e2face09123274e177 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 3 Mar 2003 20:53:35 +0000 Subject: Updated. --- CHANGES | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGES b/CHANGES index 6de6ffd7..42de7180 100644 --- a/CHANGES +++ b/CHANGES @@ -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). -- cgit v1.2.3