diff options
| -rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index 1301e337..ff96e392 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -14,3 +14,4 @@ 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). + |