Help:Rodin templates

From Event-B
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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
  • 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