Search results

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

• Details for Maintaining Main Rodin Update Site
  #The features and plug-ins should always be sorted by categories. #Try to reuse the existing categories and create a new one only if your plug-in really don't fit in existing ones
  39 KB (4,626 words) - 08:33, 6 April 2012
• File Root Separation
  These elements are organized in four categories: The first two categories (database root and project) correspond to elements
  6 KB (897 words) - 11:47, 29 January 2009
• Extending the Proof Manager
  ...oners |General purpose]] Reasoners that do not fall into the four previous categories.
  3 KB (400 words) - 10:27, 27 October 2011
• Predicate Variables Extension
  For technical reasons (predicates and expressions are distinct syntactic categories), predicate meta-variables are distinguished by a leading symbol '$'.
  3 KB (431 words) - 15:14, 18 February 2010
• Isabelle for Rodin
  ...deselected, and hidden. Formerly, selected hypotheses appeared both in the categories selected and visible.
  9 KB (1,317 words) - 10:07, 29 April 2013
• Sequent Prover Developer Guide
  # General reasoners: If the reasoner does not fall into the above categories, clients need to implement the interface <tt>IReasoner</tt> directly. If the reasoner does not fall into the above categories, clients need to implement the interface <tt>IReasoner</tt> directly. It in
  17 KB (2,378 words) - 09:48, 17 June 2010
• ADVANCE Deliverable D3.3
  A distinction shall be made on the one hand between these different categories, and on the other hand between documentation written for developers and doc
  6 KB (830 words) - 13:21, 7 October 2013
• DEPLOY Plenary Workshop 2009
  We expect to have submissions belonging to the following categories and we will give to any of these a space proportional to the number of pape
  7 KB (1,003 words) - 20:08, 12 October 2009
• Event-B Statemachines
  ...The element creation tools are available from palette, divided into three categories: ''States'', ''State Features'' and ''State Links''. When a diagram element
  13 KB (2,134 words) - 08:04, 6 October 2015
• D45 General Platform Maintenance
  ...e incompatibility faced. Plug-in incompatibilities can be separated in two categories:
  35 KB (5,228 words) - 10:12, 23 April 2012