diff options
| author | David Aspinall | 2008-01-31 12:43:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-31 12:43:33 +0000 |
| commit | a2c749794b51921685081b81883f13815b2f9d5a (patch) | |
| tree | 6da69e6de9a7d35f836c17903f5bb82452027326 | |
| parent | 37a9843fc41253b21a6f14ec506c3b35dd63151a (diff) | |
Note about instructions on X-Symb for Mac
| -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 da56ac8a..2342ee10 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -11,6 +11,7 @@ Some changes have been made for Proof General, including: * 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 + This is experimental support and has some issues (buffer modification). * addition of the string "[Proof General]" to x-symbol-version |