Search results

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

• All Rewrite Rules
  Conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Rewrite_
  739 bytes (98 words) - 13:29, 26 April 2013
• Indexing System
  * '''org.rodinp.internal.core.indexer.tables''': index tables (memory storage) * indexing files in computed order to update [[#Index Tables|index tables]]
  10 KB (1,541 words) - 17:41, 9 March 2009
• Extension Proof Rules
  Other conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Rewrite_
  2 KB (307 words) - 15:38, 29 November 2019
• Refactoring Framework Release History
  ...is recommended to clean and build the project in order to have the indexer tables updated ('''IMPORTANT''').
  2 KB (357 words) - 12:18, 8 June 2010
• Providing help for your plug-in (How to extend Rodin Tutorial)
  The contents is provided as .html files and linked from the tables of contents.
  4 KB (606 words) - 08:13, 15 October 2010
• Refactoring Framework
  ...is recommended to clean and build the project in order to have the indexer tables updated (IMPORTANT). ...is recommended to clean and build the project in order to have the indexer tables updated.
  11 KB (1,773 words) - 07:41, 12 January 2016
• Empty Set Rewrite Rules
  Other conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Rewrite_
  10 KB (1,400 words) - 16:39, 12 May 2014
• Extending the Index Manager
  ...clared elements with no occurrences are simply ignored (not put into index tables).
  6 KB (969 words) - 13:17, 29 May 2009
• Rodin Index Design
  ...nning all indexers on all files). However, we don't want to save all index tables, but only essential information (the rest being reconstructed cheaply).
  14 KB (2,204 words) - 12:58, 12 October 2009
• Arithmetic Rewrite Rules
  Other conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Rewrite_
  14 KB (2,054 words) - 16:50, 19 February 2024
• Relation Rewrite Rules
  Other conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Rewrite_
  33 KB (4,853 words) - 16:17, 8 March 2024
• Set Rewrite Rules
  Other conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Rewrite_
  29 KB (4,188 words) - 14:33, 13 April 2023
• Inference Rules
  Other conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Inferenc
  36 KB (5,611 words) - 10:22, 1 February 2024
• D45 General Platform Maintenance
  The platform maintenance, as it can be deduced from the above tables, mainly concerned stability and performance improvement. These topics will ...documented on each release notes page right after the plug-in availability tables. <ref>http://wiki.event-b.org/index.php/Rodin_Platform_2.4_External_Plug-in
  35 KB (5,228 words) - 10:12, 23 April 2012