Search results

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

• Main Page
  <div align="right" class="main_page_frame_link">[[Template:Main Page/title|Edit]]</div> |link = [[Template:Main Page/User Documentation|Edit]]
  2 KB (194 words) - 09:48, 19 May 2020
• TextEditor Screenshots
  ====Code completion for an event template ==== This screenshot shows the content assist with code templates. The selected template would insert the structure for a new event which is diplayed in the right,
  1 KB (174 words) - 12:43, 12 August 2009
• ADVANCE Deliverable D3.3
  *the template of the deliverable is released on 2013-07-16 == Template ==
  6 KB (830 words) - 13:21, 7 October 2013
• Rodin Platform Releases
  ...eleased and compatible with the current platform, please use the following template: ...t available and will be released at a later date, please use the following template:
  4 KB (532 words) - 06:51, 4 April 2023
• Theory Plug-in Developer Documentation
  ...he table in the [[Rodin Platform Releases]] page and list the release in [[Template:Dev News]] (it is included in the front page)
  3 KB (394 words) - 07:15, 15 July 2021
• Providing help for your plug-in (How to extend Rodin Tutorial)
  Then, the easiest way to proceed for beginners is to start from the available template:
  4 KB (606 words) - 08:13, 15 October 2010
• D45 Introduction
  ...e first part being focused on tool maintenance is structured upon the same template but for each considered plug-in, in order to ease the reading.
  3 KB (500 words) - 09:18, 23 April 2012
• Camille Release History
  ** When inserting a template the special editing mode for the template is left to quickly, i.e., without user interaction.
  6 KB (800 words) - 08:50, 19 August 2014
• Current Developments
  === Template Base Exporter === Some prototyping work is done in python, to explore how to use template engines to export rodin models to text, Latex, docbook, mediawiki,...
  12 KB (1,869 words) - 16:35, 18 March 2014
• Tasking Event B Overview
  ** Declared tasks - (Not currently used) A task template relating to an Ada ''tasktype'' declaration.
  6 KB (989 words) - 10:43, 10 December 2010
• Tasking Event-B Overview for D32
  ** Declared tasks - (Not currently used) A task template relating to an Ada ''tasktype'' declaration.
  7 KB (1,009 words) - 10:59, 26 January 2011
• D45 Scalability
  ...eral, a design pattern is not necessarily a finished product, but rather a template on how to solve a problem which can be used in many different situations. T
  13 KB (1,991 words) - 20:57, 20 April 2012
• D32 Code generation
  ** Declared tasks - (Not currently used) A task template relating to an Ada ''tasktype'' declaration.
  15 KB (2,298 words) - 15:08, 27 January 2011
• Code Generation Activity
  ...nslates to C using a [http://eprints.soton.ac.uk/364265/1/Templates4CG.pdf template], and has a facility for packaging the code as a functional mock-up unit (F
  17 KB (2,568 words) - 09:03, 19 October 2015
• ADVANCE D3.3 General Platform Maintenance
  ...corresponding to scopes of the toolset. All these subsections maintain the template previously defined in the introduction.
  16 KB (2,554 words) - 14:05, 8 October 2013
• ADVANCE D3.2 General Platform Maintenance
  ...nts, code generation, ProR and Camille. All these subsections maintain the template previously defined in the introduction.
  20 KB (3,030 words) - 13:18, 18 July 2012