Short Table of Contents
Introduction
1. Beginning with a New Prover
2. Menus, toolbar, and user-level commands
3. Proof Script Settings
4. Proof Shell Settings
5. Goals Buffer Settings
6. Splash Screen Settings
7. Global Constants
8. Handling Multiple Files
9. Configuring Editing Syntax
10. Configuring Font Lock
11. Configuring X-Symbol
12. Writing More Lisp Code
13. Internals of Proof General
A. Plans and Ideas
B. Demonstration Instantiations
Function and Command Index
Variable and User Option Index
Concept Index
This document was generated
by David Aspinall on October, 4 2005
using texi2html