diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-10-02 22:12:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-10-02 22:12:40 +0000 |
commit | c8fcfb3be134128a095929b329c66501c348ee6a (patch) | |
tree | 3489dbce1c2293c48c4cd0c1dbe78cdc0cccbe48 /doc | |
parent | 559af3752bb92d6a7d0a40b3ab3920685b2d961e (diff) |
Updates
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 6500138e..422b1295 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -335,7 +335,9 @@ and James McKinna, and some of those who continued to help with the latest 3.x series, named next. For the Proof General 4.0 release, special thanks go to Stefan Monnier -for patches and suggestions, and to Makarius for many bug reports. +for patches and suggestions, to Makarius for many bug reports and help +with Isabelle support and to Pierre Courtieu for providing new +features for Coq support. @c FIXME: watch contributors here! @@ -2441,7 +2443,7 @@ is available on the Tokens menu as @end example Alternative ways to check are to toggle the display of tokens using @example - Tokens -> Show Symbol Tokens + Tokens -> Reveal Symbol Tokens @end example (the similar entry for @code{Control Tokens} displays tokens being used to control layout). Or simply toggle the tokens mode, which will leave |