diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 20:45:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 20:45:33 +0000 |
| commit | d5883f7000ca8c8b2f0cb9a896cf32dd975a13f4 (patch) | |
| tree | cbeced79b6622c2547b21e9dee9335c9da57c37f /x-symbol | |
| parent | 73aeaa79c65c046c174e53b89fa2ca83a5debee5 (diff) | |
Updated.
Diffstat (limited to 'x-symbol')
| -rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index 81d936eb..1301e337 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -2,7 +2,7 @@ The code in this directory is taken from http://x-symbol.sourceforge.net/ -This is version 4.5 (direct from author) +This is version 4.5 (based on pacakge release direct from author) No changes have been made for Proof General, although the following rearrangements from the package directory layout @@ -10,4 +10,7 @@ have been made: for f in etc lisp man; do mv $f/x-symbol/* $f; rmdir $f/x-symbol; done - +Moreover, lisp/Makefile and lisp/makefile.pkg were copied from +X-Symbol source package, and lisp/makefile.pkg edited to remove +x-symbol-emacs from list of compiled files (since it breaks +on XEmacs compile). |