[ < ] | [ > ] |  | [ << ] | [ Up ] | [ >> ] |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

# 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.

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://proofgeneral.inf.ed.ac.uk"`.

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.

[ << ] | [ >> ] |  |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

This document was generated by David Aspinall on July, 24 2008 using texi2html 1.78.