diff options
| author | David Aspinall | 2008-01-31 21:26:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-31 21:26:23 +0000 |
| commit | b236ed3f7af34ac744947b2479fe102976da37ef (patch) | |
| tree | 377f637eba7a25f6a9d4869156fb4016a90f32b5 | |
| parent | dd81e06afc1f39657a6fe42ce53091c89833e39b (diff) | |
Update note re Carbon Emacs
| -rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index 2342ee10..64fb760f 100644 --- a/x-symbol/README.x-symbol-for-ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral @@ -11,7 +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). + This is experimental support and may have some issues. * addition of the string "[Proof General]" to x-symbol-version |