diff options
| -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 |