diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 12:42:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 12:42:58 +0000 |
| commit | 37a9843fc41253b21a6f14ec506c3b35dd63151a (patch) | |
| tree | 51b36d35ac078e43f03a08890776d43b95145d8f /x-symbol/README.x-symbol-for-ProofGeneral | |
| parent | 52fee35ff296049a77f9e4c40ad5f46849a161a7 (diff) | |
Instructions on X-Symb for Mac
Diffstat (limited to 'x-symbol/README.x-symbol-for-ProofGeneral')
| -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 b10a94f3..da56ac8a 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -10,6 +10,7 @@ Some changes have been made for Proof General, including: (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. + You need to install isaxsymb1.ttf into Font Book * addition of the string "[Proof General]" to x-symbol-version |