diff options
| author | David Aspinall | 2003-03-03 20:15:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-03-03 20:15:51 +0000 |
| commit | 1617bae58808913f7877540d0f43b4dee45f1bb4 (patch) | |
| tree | 346b8dc5445ccb111b4c7a61ab14e27deb7da6f7 | |
| parent | 802550084d24492db40f2dcc4a1e238b81142589 (diff) | |
Updated.
| -rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index 8b91e3d7..81d936eb 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -4,5 +4,10 @@ The code in this directory is taken from This is version 4.5 (direct from author) -No changes have been made for Proof General. +No changes have been made for Proof General, although the +following rearrangements from the package directory layout +have been made: + + for f in etc lisp man; do mv $f/x-symbol/* $f; rmdir $f/x-symbol; done + |