7. Global Constants
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.
- User Option: proof-general-home-page
Web address for Proof General.
The default value is
- Variable: proof-universal-keys
List of key bindings made for all proof general buffers.
Elements of the list are tuples ‘(k . f)’ where ‘k’ is a key binding (vector) and ‘f’ the designated function.
This document was generated by Erik Martin-Dorel on June 2, 2019 using texi2html 1.82.