Search results
From Event-B
Jump to navigationJump to searchCreate the page "Page-section templates" on this wiki! See also the search results found.
- === 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