diff options
| author | David Aspinall | 2003-09-22 17:09:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-09-22 17:09:58 +0000 |
| commit | f1d5c8128ad299fa37fab5b707d47e679a8d57a0 (patch) | |
| tree | 4fcc9d91a834e183458e13944ca0d0b3d08908d7 | |
| parent | f1ab63bbdff4b9a0f033deb67abd6ba148b4d09c (diff) | |
Updated.
| -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). + |