diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-21 09:47:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-21 09:47:10 +0000 |
| commit | a363ab8c69697bf7a1a57ee3589246204174f999 (patch) | |
| tree | 216aa7ba7778ddec92ecf561bb0eff5aea68f814 /CHANGES | |
| parent | 8bdc045f2d82c165ba88048bcd64dfbf8a46ec36 (diff) | |
Tweak some text
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -50,7 +50,7 @@ The "root2" example proofs of the irrationality of the square root of 2 were proofs written as a response to a challenge of Freek Wiedijk in his comparison of different theorem provers, see http://www.cs.kun.nl/~freek/comparison/. Those proof scripts are -copyright by their named authors. +copyright by their named authors or as mentioned in the files. *** Improved RPM packages @@ -102,9 +102,9 @@ Notice that the package version of X-Symbol may load itself first by 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. +packages not being loaded! There is an attempt to prevent the +built-in version loading in Proof General, but 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) |