Template:Topic

Template used to specify a documentation topic. This template is used to ease eclipse online help generation from this wiki.

Usage

{{topic|page for the topic|text to display}}

Example

• 1 Project
• 2 Anatomy of a Context
• 3 Anatomy of a Machine
• 4 Saving a Context or a Machine
• 5 The Proof Obligation Explorer
• 6 The Proving Perspective
• A The Mathematical Language
• B ASCII Representations of the Mathematical Symbols

Template

[[{{{1}}}|{{{2}}}]]