aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2003-03-03 20:35:05 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2003-03-03 20:35:05 +0000
commit5eefbc72733e95eaf781af956ba5bc5f9e4f06c4 (patch)
tree2ce35fb79c0d8751011093c28cd20cd8c01efd8e /CHANGES
parent1617bae58808913f7877540d0f43b4dee45f1bb4 (diff)
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES23
1 files changed, 20 insertions, 3 deletions
diff --git a/CHANGES b/CHANGES
index 9fc3a113..6de6ffd7 100644
--- a/CHANGES
+++ b/CHANGES
@@ -10,11 +10,28 @@
** Generic changes
-*** Bundling of X-Symbol Mode (4.45 beta)
+*** IN PROGRESS: pre-compiled .elc files: recompile needed for GNU Emacs
+
+ 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 ***
+
+ However, compiled Emacs Lisp files sometimes have incompatibilities
+ between versions (and definitely between GNU Emacs and XEmacs).
+ To recompile the sources for a particular Emacs version, try:
+
+ make clean
+ make compile
+
+ Check the settings in the Makefile for your Emacs version.
+
+*** Bundling of X-Symbol Mode (4.5 beta)
!!THIS IS WORK IN PROGRESS, IT MAY WELL BREAK X-SYMBOL FOR YOU!!
- To disable use of the bundled version, simply delete or move away
- the x-symbol subdirectory.
+ To disable use of the bundled version, either delete/move away
+ the x-symbol subdirectory, or load your own local version
+ first [put (require 'x-symbol-hooks) in .emacs]
*** Bundling of MMM Mode (for multiple modes in one buffer)