Help:Rodin templates

From Event-B
Jump to navigationJump to search

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
Retrieved from ‘https://wiki.event-b.org/index.php?title=Help:Rodin_templates&oldid=13335’
Category:
  • Help

Navigation menu

Page actions

  • Help page
  • Discussion
  • Read
  • View source
  • History

Page actions

  • Help page
  • Discussion
  • More
  • Tools

Personal tools

  • Log in

Navigation

  • Main Page
  • Event-B Language
  • Rodin Platform
  • Plug-in
  • Developer Support
  • FAQ
  • Event-B Examples
  • Industrial Projects
  • Random page
  • ''Event-B and Rodin''

Contribute

  • Wiki help
  • Village Pump
  • Recent changes

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
Powered by MediaWiki
  • This page was last modified on 12 December 2008, at 14:14.
  • Privacy policy
  • About Event-B
  • Disclaimers