Short Table of Contents
Preface
1. Introducing Proof General
2. Basic Script Management
3. Subterm Activation and Proof by Pointing
4. Advanced Script Management
5. Support for other Packages
6. Customizing Proof General
7. Hints and Tips
8. LEGO Proof General
9. Coq Proof General
10. Isabelle Proof General
11. HOL Proof General
12. Shell Proof General
A. Obtaining and Installing
B. Known Bugs
References
History of Proof General
Function and Command Index
Variable and User Option Index
Keystroke Index
Concept Index
This document was generated
by David Aspinall on October, 4 2005
using texi2html