[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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.
The default value is "http://proofgeneral.inf.ed.ac.uk"
.
key-binding
(vector) and `f' the designated function.
[ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |