[Top] [Contents] [Index] [ ? ]

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