diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-03-10 11:47:26 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-10 11:47:26 +0000 |
commit | 78c9b5e8dd3a65d0147a9e55684b1db7d67f0080 (patch) | |
tree | e2f6e0ec992835801e1f9093e9857092fb68dcdb /CHANGES | |
parent | fc9e4ea7c47218b57664e2c20d04d2b4aae5dd81 (diff) |
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -29,14 +29,22 @@ *** Bundling of X-Symbol Mode (4.5 beta) !!THIS IS WORK IN PROGRESS, IT MAY WELL BREAK X-SYMBOL FOR YOU!! + + [ Currenly should be working in Isabelle, not other provers ] + 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]. + first [put (require 'x-symbol-hooks) in .emacs, or unpack + in your own .xemacs directory]. From now on, PG is not backward compatible with previous X-Symbol versions. Either upgrade your installed version, or be careful to load PG first (so that the bundled version of X-Symbol is used). + Notice that the package version of X-Symbol may load itself first + by default during XEmacs startup, so it may be tricky to override. + If in doubt, run with "xemacs -no-site-file -q" first. + *** Bundling of MMM Mode (for multiple modes in one buffer) MMM mode allows submodes to be used in the same file. |