diff options
| author | David Aspinall | 2002-07-18 20:20:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 20:20:27 +0000 |
| commit | 689027e8088128c4b4fd887479ffcaecba507a88 (patch) | |
| tree | cb63fd8a032713ca216ed63abb9639e5add4967d /doc | |
| parent | 17cc59d137d559d474bfe72e45b8b8197912ea20 (diff) | |
Mention how to enable X-Symbol.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index bb775c7f..db9dbf70 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2042,6 +2042,13 @@ X-Symbol package and support has been provided in Proof General for a token language for your proof assistant. The X-Symbol package is available from @uref{http://x-symbol.sourceforge.net/}. +To enable X-Symbol, use the menu item: +@example + Proof-General -> Options -> X-Symbol +@end example +To enable it automatically every time you use Proof General, +you need to customize the setting +@code{@emph{PA}-x-symbol-enable}. Notice that for proper symbol support, the proof assistant needs to have a special @i{token language}, or a special character set, to use |