Search results

From Event-B
Jump to navigationJump to search
  • [[Category:Utility templates]]
    685 bytes (108 words) - 16:36, 18 September 2008
  • [[Category:Utility templates]]
    1 KB (149 words) - 12:59, 11 September 2008
  • [[Category:Export helper templates]]
    1 KB (142 words) - 13:14, 14 April 2010
  • ...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
  • ** ''Templates'' (very few so far, please let us know which templates you would like to add)
    6 KB (945 words) - 12:22, 27 January 2015
  • [[Category:Main page templates|Community]]
    3 KB (394 words) - 12:45, 15 April 2024
  • [[Category:Main page templates]]
    5 KB (633 words) - 06:40, 4 April 2023
  • ** '''Templates''' are now editable and extensible via a '''preference page'''. ...0+), especially for expressions and predicates. ''Please let us know which templates you would like to have added.''
    6 KB (800 words) - 08:50, 19 August 2014
  • 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
  • [[Category:Typesetting templates]]
    3 KB (462 words) - 12:51, 3 October 2008
  • ...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
  • ...created class, if you set them in "Preferences > Java > Code Style > Code Templates",<br>
    9 KB (1,496 words) - 17:44, 4 September 2013
  • The TeX code has to be put literally: MediaWiki templates, predefined templates, and parameters cannot be used within math tags: pairs of double braces are ...using mathematical templates can be conveniently altered by modifying the templates involved; this modification will affect all relevant formulae without any m
    65 KB (9,755 words) - 10:04, 5 September 2008
  • ...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
  • * - 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
  • * - 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

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)