Table of Contents
- Introduction
- 1. Beginning with a New Prover
- 2. Menus, toolbar, and user-level commands
- 3. Proof Script Settings
- 3.1 Recognizing commands and comments
- 3.2 Recognizing proofs
- 3.3 Recognizing other elements
- 3.4 Configuring undo behaviour
- 3.5 Nested proofs
- 3.6 Omitting proofs for speed
- 3.7 Proof status statistic
- 3.8 Safe (state-preserving) commands
- 3.9 Activate scripting hook
- 3.10 Automatic multiple files
- 3.11 Completely asserted buffers
- 3.12 Completions
- 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 Tokens
- 12. Configuring Proof-Tree Visualization
- 13. Writing More Lisp Code
- 14. 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 on May 16, 2025 using texi2html 1.82.