diff options
author | 2003-09-24 23:57:57 +0000 | |
---|---|---|
committer | 2003-09-24 23:57:57 +0000 | |
commit | 98e40c4f92aeac4d5287c5d4580db77400c8fdfe (patch) | |
tree | cf27d6f0d0f7ceac6a77bce390cf290ca3f7794f /CHANGES | |
parent | 90bca7001ed082df094b344a9ea2e8f8aeb7823f (diff) |
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -31,11 +31,11 @@ recompile the sources for a particular Emacs version, try: Check the settings in the Makefile for your Emacs version. -*** Bundling of X-Symbol Mode (4.5 beta) +*** Bundling of X-Symbol Mode (4.5.1-beta) !!THIS IS WORK IN PROGRESS, IT MAY WELL BREAK X-SYMBOL FOR YOU!! -[ Currenly should be working in Isabelle, not other provers ] +[ Currenly 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 |