Search results

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

• Generating source bundles for inclusion in a target platform configuration
  For source plugins to work properly in a [[Using Rodin as Target Platform|target platform]] configuration, the Ant script ''export ** Value: <an absolute path> (example: /tmp/rodin-export)
  2 KB (237 words) - 14:58, 10 March 2011
• Rodin
  ...ource, contributes to the Eclipse framework and is further extendable with plugins.
  491 bytes (67 words) - 14:18, 19 September 2011
• Details for Uploading Main Rodin Update Site
  Since April 5th, 2012, the Rodin update site has the newer p2 format. ...nt of view, the main change is that instead of uploading 'site.xml' to the rodin web space, you will just commit 'content.jar' and 'artifacts.jar' to SVN. T
  10 KB (1,436 words) - 09:06, 27 May 2015
• Installing external plug-ins manually
  Although it is preferred to install additional plug-ins into the Rodin platform using the '''Update Manager''' of Eclipse, this might not always b ...o is to find the update site from which the plug-ins are downloaded by the Rodin platform. A list of default update sites is available in file <tt>feature.
  4 KB (630 words) - 20:28, 10 September 2008
• Details for Maintaining Main Rodin Update Site
  ==The main Rodin Update Site description== ...Main Rodin update site is maintained on the sourceforge web pages for the rodin-b-sharp project. It is xml file available at : /htdocs/updates/site.xml
  39 KB (4,626 words) - 08:33, 6 April 2012
• Measurement Plug-In
  The measurement plugin to the RODIN platform will provide information both about the model itself and about the ...e spend in modelling, proving or other activities (possibly based on other plugins) such as requirements, model-checking.
  2 KB (308 words) - 16:35, 17 December 2008
• Rodin Platform 2.8.0 External Plug-ins
  ==== Rodin Update Site ==== http://rodin-b-sharp.sourceforge.net/updates
  13 KB (1,455 words) - 13:43, 28 November 2014
• Rodin Platform 3.6 Release Notes
  == What's New in Rodin 3.6? == Rodin 3.6 brings several bug fixes. It also upgrades the underlying Eclipse to 20
  4 KB (640 words) - 14:09, 25 May 2021
• Rodin Platform 3.5.0 External Plug-ins
  ==== Rodin Update Site ==== Available from http://rodin-b-sharp.sourceforge.net/updates
  9 KB (1,244 words) - 13:52, 1 April 2022
• Rodin Workshop 2021
  ==9th Rodin User and Developer Workshop== The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany (Virtual)
  4 KB (595 words) - 09:41, 29 June 2021
• Development Rules
  ...tp://sourceforge.net/mailarchive/forum.php?forum_name=rodin-b-sharp-commit Rodin commit] ...irc://irc.freenode.net/#deploy Deploy IRC] [irc://irc.freenode.net/#rodin Rodin IRC]
  4 KB (671 words) - 12:45, 12 August 2009
• Rodin Platform 3.7 Release Notes
  == What's New in Rodin 3.7? == Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.
  5 KB (703 words) - 14:37, 29 April 2022
• Developer FAQ
  * the ''#rodin'' channel on irc://irc.freenode.net * the [http://cia.vc/stats/project/rodin-b-sharp commit RSS feed] on [http://cia.vc cia.vc],
  15 KB (2,372 words) - 16:29, 19 May 2015
• Building Rodin Headless
  ...e documents the procedure followed for building the binary packages of the Rodin platform that are distributed on SourceForge. The build is done in two ste * API Tooling build against previous Rodin release produces no errors on any plug-in
  6 KB (928 words) - 15:50, 11 September 2020
• Rodin Platform 3.8 Release Notes
  == What's New in Rodin 3.8? == Rodin 3.8 brings several bug fixes. It also upgrades the underlying Eclipse to 4.
  5 KB (775 words) - 12:00, 4 April 2023
• Rodin Platform 3.5 Release Notes
  ...rent/html/files/EventB-Summary.pdf Event-B Cheat Sheet] available with the Rodin handbook. == What's New in Rodin 3.5? ==
  8 KB (1,249 words) - 13:09, 11 September 2020
• Google Summer of Code 2009
  ...ource, contributes to the Eclipse framework and is further extendable with plugins. ...perience or education). If it turns out you wouldn't be a good fit for the Rodin platform or your project idea, it's helpful for everyone involved if that c
  10 KB (1,629 words) - 12:50, 12 August 2009
• Rodin Platform 1.1 Release Notes
  == What's New in Rodin 1.1? == * [[Rodin_Keyboard | Rodin Keyboard]]
  9 KB (1,298 words) - 10:06, 28 July 2010
• Documentation Overhaul DoW
  Even though Plugins are officially not covered by the handbook, there are many places where cov '''Deliverable:''' [http://rodin-b-sharp.svn.sourceforge.net/viewvc/rodin-b-sharp/trunk/Handbook/org.rodinp.handbook.feature/latex/style-guide.tex?re
  9 KB (1,421 words) - 12:41, 8 December 2011
• Migration to Eclipse 3.6
  ...t of items that one should take into account during the migration of their plugins for compliance with Eclipse 3.6.
  12 KB (1,814 words) - 08:44, 30 June 2010