From 7b26ab5d17e961f96c774ef70b515aed35789fc1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 28 Feb 2004 16:10:22 +0000 Subject: Updates of X-Symbol mode text --- CHANGES | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/CHANGES b/CHANGES index 8112fcd4..0dd399bd 100644 --- a/CHANGES +++ b/CHANGES @@ -35,7 +35,7 @@ Check the settings in the Makefile for your Emacs version. !!THIS IS WORK IN PROGRESS, IT MAY WELL BREAK X-SYMBOL FOR YOU!! -[ Currenly should be working in Isabelle, perhaps not other provers ] +[ Currently should be working in Isabelle, perhaps 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 @@ -47,8 +47,12 @@ 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. +default during XEmacs startup (especially if you have it installed +site-wide), so it may be tricky to override. You can prevent this +with "xemacs -no-autoloads", but that may result in other needed +packages not being loaded! There seems to be no good way around this +provided in XEmacs. In case of problems, consult your sysadmin to try +to prevent global loading of x-symbol. *** Bundling of MMM Mode (for multiple modes in one buffer) -- cgit v1.2.3