diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 12:42:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 12:42:18 +0000 |
commit | 52fee35ff296049a77f9e4c40ad5f46849a161a7 (patch) | |
tree | b9239780c9e89628a3de701eac2a9f7882eddac5 | |
parent | 089af7189fb27dcf29bccde9a25490cdd2584dcd (diff) |
Note about isaxsymb1.ttf
-rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index a75a8dd0..b10a94f3 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -4,9 +4,14 @@ 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 and the addition of -18pt and 24pt fonts [see etc/bigfonts] (thanks to Clemens Ballarin). +Some changes have been made for Proof General, including: + +* the addition of 18pt and 24pt fonts, see etc/bigfonts. + (thanks to Clemens Ballarin). +* the addition of a mechanism to use Norbert Voelker's isaxsymb1.ttf + (see etc/fonts-ttf) automatically on Mac using Carbon Emacs. +* addition of the string "[Proof General]" to x-symbol-version + The following rearrangements from the package directory layout have been made: |