Go to the first, previous, next, last section, table of contents.
The settings here are internal constants used by Proof General.
You don't need to configure these for your proof assistant
unless you want to modify or extend the defaults.
- Variable: proof-general-name
-
Proof General name used internally and in menu titles.
- User Option: proof-general-home-page
-
Web address for Proof General
The default value is "http://www.proofgeneral.org"
.
- Variable: proof-universal-keys
-
List of key-bindings made for the script, goals and response buffer.
Elements of the list are tuples `(k . f)'
where `k' is a key-binding
(vector) and `f' the designated function.
Go to the first, previous, next, last section, table of contents.