diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2006-09-07 20:24:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2006-09-07 20:24:30 +0000 |
| commit | c9c9e4ab209b8736b648bf54a0a24c1e134fe12f (patch) | |
| tree | 093fbd2280b2ea5a00fcd492d8400a8e726cfcd7 /x-symbol | |
| parent | b4aa7f6d255aed4bdf80091102f89e2ee5e28cf0 (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 6f8712a6..a75a8dd0 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -5,8 +5,11 @@ The code in this directory is taken from This is version 4.5.1-beta (dated 2003-05-11 15:00) No changes have been made for Proof General except the addition of the -string "[Proof General]" to x-symbol-version. The following -rearrangements from the package directory layout have been made: +string "[Proof General]" to x-symbol-version and the addition of +18pt and 24pt fonts [see etc/bigfonts] (thanks to Clemens Ballarin). + +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 |