Script Management

• Introduction
• Proof Mode Commands
• Multiple Files
• An Active Terminator
• Proof by Pointing
• A Walkthrough
• LEGO mode
• Coq mode
• Known Problems
• Internals