diff options
| -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). |