Template:Topic

From Event-B

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 Event-B Explorer
• 6 The Proving Perspective
• A The Mathematical Language
• B ASCII Representations of the Mathematical Symbols

Template