Help:Rodin templates

From Event-B

Contents 1 Navigation Template 2 Typesetting Templates 2.1 Mainly for User Documentation 2.2 Mainly for Developer documentation 2.3 Table templates 2.4 Used to Adjust Typesetting Layout 2.5 Used to Help Export Script

Navigation Template

• Template:Anchor
• Template:There
• Template:Navigation

Typesetting Templates

Mainly for User Documentation

• Template:Button
• Template:File
• Template:Icon
• Template:Key
• Template:Menu
• Template:Radio

Mainly for Developer documentation

• Template:Class
• Template:Method
• Template:Ident
• Template:InfRule
• Template:TODO

Table templates

• Template:ASHeader
• Template:ASRow
• Template:SimpleHeader

Used to Adjust Typesetting Layout

• Template:Clr
• Template:Nowrap
• Template:TOCright
• Template:Hidden
• Template:Hidden begin
• Template:Hidden end

Used to Help Export Script

• Template:Index
• Template:Topic