Search results

From Event-B
Jump to navigationJump to search

Create the page "Help templates" on this wiki! See also the search results found.

Page title matches

Page text matches

  • Category:Listing templates
    Those templates are used to typeset event-b listings. [[Category:Typesetting templates]]
    24 members (0 subcategories, 0 files) - 08:39, 24 February 2009
  • Category:Main page templates
    Templates that are to be used on the main page [[Category:Templates]]
    6 members (0 subcategories, 0 files) - 16:37, 18 September 2008
  • Help:Rodin templates
    == Typesetting Templates == === Table templates ===
    826 bytes (80 words) - 14:14, 12 December 2008
  • Template:Void
    {{sister templates|V=3|wsr=|wqt=|wdy=void|wnw=void}} ...nothing (it outputs the null string). It's useful for programming advanced templates.
    759 bytes (107 words) - 13:26, 23 February 2009
  • Category:Info templates
    [[Category:Templates]]
    1 member (0 subcategories, 0 files) - 20:18, 10 September 2008
  • Category:TOC templates
    [[Category:Templates]]
    1 member (0 subcategories, 0 files) - 19:36, 9 September 2008
  • Category:Template examples
    [[Category:Templates]]
    1 member (0 subcategories, 0 files) - 20:18, 10 September 2008
  • Category:Typesetting templates
    [[Category:Templates]]
    20 members (3 subcategories, 0 files) - 20:28, 10 September 2008
  • Category:Utility templates
    [[Category:Templates]]
    9 members (0 subcategories, 0 files) - 20:19, 10 September 2008
  • Template:Math
    [[Category:Help templates]]
    91 bytes (9 words) - 12:13, 29 September 2008
  • Category:Export helper templates
    [[Category:Typesetting templates]]
    2 members (0 subcategories, 0 files) - 20:48, 10 September 2008
  • Category:Table templates
    [[Category:Typesetting templates]]
    5 members (0 subcategories, 0 files) - 20:46, 10 September 2008
  • Template:Radical
    [[Category:Help templates]]
    113 bytes (12 words) - 12:14, 29 September 2008
  • Template:1x
    {{{1}}}<noinclude>[[Category:Miscellaneous templates|{{PAGENAME}}]]</noinclude>
    79 bytes (6 words) - 13:16, 23 February 2009
  • Template:Hl2
    bgcolor="#A7C1F2" <noinclude>[[Category:Utility templates|{{PAGENAME}}]]</noinclude>
    84 bytes (10 words) - 22:42, 4 July 2008
  • Template:Note
    ...style: normal;">[[#ref_{{{1}}}|'''^''']]</cite>&nbsp;<noinclude>[[Category:Templates|Note]]</noinclude>
    142 bytes (16 words) - 10:08, 5 September 2008
  • Template:Ref
    [[Category:Help templates]]
    188 bytes (18 words) - 12:14, 29 September 2008
  • Category:Templates
    This category lists the templates use on this wiki.
    9 members (6 subcategories, 0 files) - 14:30, 12 December 2008
  • Template:Hl3
    bgcolor="#8DA7D6" color="black" <noinclude>[[Category:Utility templates|{{PAGENAME}}]]</noinclude>
    98 bytes (11 words) - 22:59, 4 July 2008
  • File:Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf
    Event-B Specification Templates for Defining Domain Specific Languages (slides)
    (891 KB) - 20:50, 30 April 2020
  • File:Event-B Specification Templates for Defining Domain Specific Languages.pdf
    Event-B Specification Templates for Defining Domain Specific Languages (Ulyana Tikhonova)
    (105 KB) - 20:49, 30 April 2020
  • Template:Admin tip
    [[Category:Info templates|{{PAGENAME}}]]
    329 bytes (41 words) - 22:44, 4 July 2008
  • Template:Rh
    [[Category:Help templates]]
    196 bytes (20 words) - 12:38, 3 October 2008
  • Template:Links-small
    [[Category:Link templates|I{{PAGENAME}}]] [[Category:Shortcut templates|Links-small]]
    847 bytes (75 words) - 13:19, 23 February 2009
  • Template:L refines
    [[Category:Listing templates]]
    336 bytes (46 words) - 10:16, 26 February 2009
  • Template:Ident
    [[Category:Typesetting templates]]
    290 bytes (35 words) - 11:21, 16 December 2008
  • Template:Class
    [[Category:Typesetting templates]]
    269 bytes (30 words) - 14:54, 26 July 2012
  • Template:Rulename
    [[Category:Typesetting templates]]
    296 bytes (38 words) - 10:19, 8 July 2009
  • Help:Templates
    ...comes into play (like the tag above which is included in the pages of the Help namespace). Template names are prefixed with <code>Template:</code>, you [[Help:Starting a new page|create them like any other wiki page]].
    5 KB (845 words) - 20:18, 10 September 2008
  • Template:Key
    [[Category:Typesetting templates]]
    228 bytes (29 words) - 20:29, 10 September 2008
  • Template:Here
    [[Category:Utility templates]]
    259 bytes (35 words) - 13:25, 11 September 2008
  • Template:L end
    [[Category:Listing templates]]
    302 bytes (44 words) - 10:12, 26 February 2009
  • Template:L variable
    [[Category:Listing templates]]
    319 bytes (43 words) - 10:22, 26 February 2009
  • Template:Package
    [[Category:Typesetting templates]]
    299 bytes (36 words) - 20:45, 22 February 2009
  • Help:Contents
    ''Help copied from [http://www.mediawiki.org/wiki/Help:Contents]'' * [[Help:Navigation|Navigation]]
    2 KB (200 words) - 14:03, 12 December 2008
  • Template:L witnesses
    [[Category:Listing templates]]
    278 bytes (39 words) - 14:19, 26 February 2009
  • Template:Event
    [[Category:Typesetting templates]]
    302 bytes (36 words) - 10:12, 23 February 2009
  • Template:L end event
    [[Category:Listing templates]]
    222 bytes (31 words) - 13:36, 26 February 2009
  • Template:L parameters
    [[Category:Listing templates]]
    279 bytes (39 words) - 14:16, 26 February 2009
  • Template:Main Page/Frame
    [[Category:Main page templates|Frame]]
    606 bytes (71 words) - 10:13, 29 September 2008
  • Template:L component
    [[Category:Listing templates]]
    359 bytes (48 words) - 10:10, 26 February 2009
  • Template:Prettytable
    <noinclude>[[Category:Utility templates|{{PAGENAME}}]]</noinclude>
    257 bytes (27 words) - 22:43, 4 July 2008
  • Template:Radio
    [[Category:Typesetting templates]]
    458 bytes (56 words) - 09:54, 13 November 2008
  • Template:L variables
    [[Category:Listing templates]]
    350 bytes (47 words) - 13:40, 26 February 2009
  • Template:Menu
    [[Category:Typesetting templates]]
    304 bytes (38 words) - 10:08, 22 November 2010
  • Template:L events
    [[Category:Listing templates]]
    216 bytes (29 words) - 13:45, 26 February 2009
  • Template:Button
    [[Category:Typesetting templates]]
    319 bytes (40 words) - 10:10, 22 November 2010
  • Template:L param
    [[Category:Listing templates]]
    401 bytes (56 words) - 14:15, 26 February 2009
  • Template:Index
    [[Category:Export helper templates]]
    376 bytes (48 words) - 20:48, 10 September 2008
  • Template:L sees
    [[Category:Listing templates]]
    374 bytes (51 words) - 10:16, 26 February 2009
  • Template:L label
    [[Category:Listing templates]]
    404 bytes (56 words) - 10:15, 26 February 2009
  • Template:L invariants
    [[Category:Listing templates]]
    409 bytes (57 words) - 10:14, 26 February 2009
  • Template:L invariant
    [[Category:Listing templates]]
    421 bytes (57 words) - 13:38, 26 February 2009
  • Template:L guard
    [[Category:Listing templates]]
    423 bytes (59 words) - 14:13, 26 February 2009
  • Template:L witness
    [[Category:Listing templates]]
    430 bytes (60 words) - 14:20, 26 February 2009
  • Template:L actions
    [[Category:Listing templates]]
    410 bytes (59 words) - 13:35, 26 February 2009
  • Template:L action
    [[Category:Listing templates]]
    429 bytes (59 words) - 13:58, 26 February 2009
  • Template:L theorem
    [[Category:Listing templates]]
    416 bytes (56 words) - 11:21, 26 February 2009
  • Template:L theorems
    [[Category:Listing templates]]
    463 bytes (67 words) - 11:21, 26 February 2009
  • Template:L comment
    [[Category:Listing templates]]
    301 bytes (42 words) - 13:55, 26 February 2009
  • Template:File
    [[Category:Typesetting templates]]
    398 bytes (54 words) - 14:04, 15 December 2012
  • Template:Icon
    [[Category:Typesetting templates]]
    438 bytes (58 words) - 14:01, 12 December 2008
  • Template:L guards
    [[Category:Listing templates]]
    452 bytes (71 words) - 14:12, 26 February 2009
  • Template:ASRow
    [[Category:Table templates]]
    448 bytes (55 words) - 20:46, 10 September 2008
  • Template:Tim
    [[Category:Shortcut templates]]</noinclude>
    317 bytes (37 words) - 13:18, 23 February 2009
  • Template:TODO
    [[Category:Utility templates]]
    655 bytes (87 words) - 08:25, 25 September 2008
  • Template:PD
    <noinclude>[[Category:License templates|{{PAGENAME}}]]</noinclude>
    526 bytes (74 words) - 23:05, 4 July 2008
  • Template:Nowrap
    [[Help:Template|Templates]] have problems to handle parameter data that contains equal signs "<code>= [[Category:Typesetting templates]]
    2 KB (267 words) - 16:49, 18 September 2008
  • Template:SimpleHeader
    [[Category:Table templates]]
    561 bytes (66 words) - 20:44, 10 September 2008
  • Template:ASHeader
    [[Category:Table templates]]
    588 bytes (71 words) - 20:46, 10 September 2008
  • Template:Links-core
    ...d to be used directly. It contains the complex programming for custom link templates which can selectively show relevant links. For example, <code><nowiki>{{lin | "[{{fullurl:template:foo|action=watch}} watch]"; click to [[Help:Watching pages|watch]] the page.
    4 KB (420 words) - 13:19, 23 February 2009
  • Template:RRRow
    [[Category:Table templates]]
    502 bytes (70 words) - 15:35, 29 January 2009
  • Template:L machine
    [[Category:Listing templates]]
    751 bytes (110 words) - 14:21, 26 February 2009
  • Template:Tlx
    [[Category:Help templates]]
    667 bytes (55 words) - 12:15, 29 September 2008
  • Template:Xpd
    [[Category:Expand demo templates|Xpd]]
    644 bytes (71 words) - 13:21, 23 February 2009
  • Template:L event
    [[Category:Listing templates]]
    746 bytes (109 words) - 13:47, 26 February 2009
  • Template:InfRule
    [[Category:Typesetting templates]]
    762 bytes (89 words) - 20:29, 10 September 2008
  • Template:!
    [[Category:Utility templates]]
    685 bytes (108 words) - 16:36, 18 September 2008
  • Template:Navigation
    [[Category:Utility templates]]
    1 KB (149 words) - 12:59, 11 September 2008
  • Template:News
    [[Category:Main page templates]]
    677 bytes (95 words) - 22:03, 30 September 2020
  • Template:Details
    [[Category:Page-section templates]]
    741 bytes (103 words) - 20:26, 10 September 2008
  • Template:Main Page/Developer Documentation
    [[Category:Main page templates|Developer Documentation]]
    994 bytes (131 words) - 14:21, 15 January 2019
  • Template:Topic
    ...cify a documentation topic. This template is used to ease ''eclipse online help'' generation from this wiki. [[Category:Export helper templates]]
    1 KB (142 words) - 13:14, 14 April 2010
  • Template:RRHeader
    [[Category:Table templates]]
    735 bytes (99 words) - 08:27, 8 April 2011
  • Event-B:Village pump
    : Yes, you may use [[Help:Links#Setting_anchors|Anchors]], and reference them by using the <nowiki>[[ :* [[Help:Formatting#Level_1|headers]] automatically become html anchors, which can b
    8 KB (1,148 words) - 08:43, 24 February 2009
  • Template:Main Page/User Documentation
    [[Category:Main page templates|User Documentation]]
    2 KB (226 words) - 14:22, 15 January 2019
  • TextEditor Screenshots
    This screenshot shows the content assist with code templates. The selected template would insert the structure for a new event which is
    1 KB (174 words) - 12:43, 12 August 2009
  • Template:Warning
    [[Category:Templates|{{PAGENAME}}]]
    1 KB (187 words) - 09:13, 9 December 2010
  • Rodin Workshop 2016
    ...efining Domain Specific Languages.pdf|pdf]], [[Media:Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf|slides]])
    5 KB (664 words) - 18:29, 6 June 2016
  • ADVANCE D3.3 Model Composition and Decomposition
    ...xing of problems before executing decomposition: building a set of problem templates and respective solutions to be suggested to the modeller before executing d * Build a list of architectures templates to be used for decomposition according to the number of sub-components to b
    5 KB (739 words) - 10:48, 23 September 2013
  • Template:Clr
    [[Category:Typesetting templates]]
    2 KB (292 words) - 20:28, 10 September 2008
  • Template:Hidden end
    [[Category:Typesetting templates]]
    2 KB (200 words) - 12:59, 3 October 2008
  • Help:Preferences
    ...ns. Page text will '''not''' be translated, nor will templates (unless the templates integrate text localisation). ...oose whatever skin you like, bear in mind that some wikis will incorporate templates or layout elements that will not display as intended in some of these skins
    7 KB (1,136 words) - 08:56, 5 July 2008
  • Template:Hidden begin
    [[Category:Typesetting templates]]
    3 KB (342 words) - 12:57, 3 October 2008
  • ADVANCE D3.2 Model Composition and Decomposition
    ...xing of problems before executing decomposition: building a set of problem templates and respective solutions to be suggested to the modeller before executing d * Build a list of architectures templates to be used for decomposition according to the number of sub-components to b
    6 KB (891 words) - 17:21, 11 December 2012
  • Documentation Overhaul DoW
    === WP1-1: Styles Guides and Templates (16mh) === ...we will create a style guide to ensure consistency. We will also provide templates as needed, to simplify the creation of the documentation.
    9 KB (1,421 words) - 12:41, 8 December 2011
  • Template:See also
    [[Category:Page-section templates]]
    3 KB (312 words) - 12:16, 25 September 2008
  • User:Mathieu/bot
    A bot may be a useful tool to help a wiki maintenance. python category.py move -from:"Template" -to:"Templates" -batch -putthrottle:6
    2 KB (336 words) - 10:34, 7 January 2010
  • Camille Release History
    ...eported in a better way now. The real reason is shown in the UI. This will help when examining error reports in the future. ** '''Templates''' are now editable and extensible via a '''preference page'''.
    6 KB (800 words) - 08:50, 19 August 2014
  • Camille Editor
    ## In the menu choose ''Help'' -> ''Install New Software...''. This section should help you to get started with the TextEditor.
    6 KB (945 words) - 12:22, 27 January 2015
  • Template:Main Page/Community
    ''Do not hesitate to improve this wiki.'' You may find some help within the following pages: [[Help:Contents|Wiki Help]] - Some technical documentation about this wiki.
    3 KB (394 words) - 12:45, 15 April 2024
  • Template:There
    [[Category:Utility templates]]
    2 KB (315 words) - 13:31, 11 September 2008
  • Help:Categories
    So for example, to add this page to the 'Help' category, you would use: <nowiki>[[Category:Help|Categories]]</nowiki>
    3 KB (579 words) - 23:15, 4 July 2008
  • Template:Dev News
    [[Category:Main page templates]]
    5 KB (633 words) - 06:40, 4 April 2023
  • Template:Hidden
    [[Category:Typesetting templates]]
    3 KB (462 words) - 12:51, 3 October 2008
  • The Use of Theories in Code Generation
    Translator rules are templates. They are used in a pattern matching algorithm, in the Theory plug-in, invo
    4 KB (599 words) - 15:00, 14 June 2021
  • Help:Sections
    With the preference setting [[Help:Preferences#Misc_settings|Auto-number headings]] section numbering appears ...ate edit history is in effect provided for the section. Also this allows [[help:watching pages|watching]] it separately.
    23 KB (3,699 words) - 14:10, 12 September 2008
  • Template:TOCright
    ...ser (or Firefox). Consult the following pages for placement elucidation [[Help:Section#Floating the TOC]] and [[Wikipedia:How to fix bunched-up edit links [[Category:TOC templates| ]]
    4 KB (572 words) - 19:36, 9 September 2008
  • Rodin Platform 3.5.0 External Plug-ins
    Please use one of the following templates for the Status column
    9 KB (1,244 words) - 13:52, 1 April 2022
  • Extending the Rodin database (How to extend Rodin Tutorial)
    Click on the "class*:" link to open a wizard that will help us to create this class. ...created class, if you set them in "Preferences > Java > Code Style > Code Templates",<br>
    9 KB (1,496 words) - 17:44, 4 September 2013
  • Template:Anchor
    ...linkshere/Template:Anchors]] to track usage of multiple anchors, and could help detecting and converting old-style <code><nowiki>{{Anchor|Foo}}{{Anchor|Bar [[Category:Utility templates]]
    9 KB (1,362 words) - 13:23, 11 September 2008
  • D23 TEXT
    ...he text editor supports syntax and semantic highlighting, code completion, templates, an outline view, quick navigation and many more.
    8 KB (1,257 words) - 15:56, 28 January 2010
  • Code Generation Activity
    The templates feature. http://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/master/tree/Templates/ .
    17 KB (2,568 words) - 09:03, 19 October 2015
  • Help:Maths
    ''Help copied from [http://meta.wikimedia.org/wiki/Help:Displaying_a_formula]'' ...ther [[w:PNG|PNG]] images or simple [[w:HTML|HTML]] markup, depending on [[Help:Preferences#Rendering_math|user preferences]] and the complexity of the exp
    65 KB (9,755 words) - 10:04, 5 September 2008
  • EMF framework for Event-B
    ...nteraction is required. A compare and merge editor for Event-B models will help users to solve these conflicts. This editor will be based on the [http://wi ...ditor for the Event-B pattern plugin. The syntax of facets - Event-B model templates used to describe patterns - is an extension of the Event-B syntax.
    26 KB (3,961 words) - 13:04, 19 May 2020
  • User:Mathieu/popups.js
    * - Support for templates (through AJAX) this.html=this.html.split('\n').join(' '); // workaround for <pre> templates
    267 KB (34,206 words) - 10:58, 24 June 2008
  • User:Mathieu/popup.js
    * - Support for templates (through AJAX) this.html=this.html.split('\n').join(' '); // workaround for <pre> templates
    281 KB (35,750 words) - 15:33, 31 October 2008
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’