Search results

From Event-B
Jump to navigationJump to search
  • === 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
  • ** ''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
  • ** '''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
  • ...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
  • ...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