Details for Maintaining Main Rodin Update Site - Revision history

imported>Tommy: /* Rules to follow */

2012-04-06T08:33:24Z

Rules to follow

← Older revision		Revision as of 08:33, 6 April 2012
Line 11:		Line 11:
	#Maintain a plug-in for the latest version of Rodin (version N) and let the version for the previous Rodin release (version N-1).		#Maintain a plug-in for the latest version of Rodin (version N) and let the version for the previous Rodin release (version N-1).
	#Try to remove from one version to another the plug-ins that are no longer used.		#Try to remove from one version to another the plug-ins that are no longer used.
	#Place your commands within XML comment tags (<!-- your comment -->)		#Place your commands within XML comment tags (<nowiki><!-- your comment --></nowiki>)
	#Try to reuse the existing categories and create a new one only if your plug-in really don't fit in existing ones.		#Try to reuse the existing categories and create a new one only if your plug-in really don't fit in existing ones.

imported>Tommy: /* Rules to follow */

2012-04-06T08:32:52Z

Rules to follow

Show changes

imported>Tommy at 13:55, 24 October 2011

2011-10-24T13:55:48Z

← Older revision		Revision as of 13:55, 24 October 2011
Line 6:		Line 6:
	See here to update the site.xml file on sourceforge web pages: http://wiki.event-b.org/index.php/Details_for_Uploading_Main_Rodin_Update_Site		See here to update the site.xml file on sourceforge web pages: http://wiki.event-b.org/index.php/Details_for_Uploading_Main_Rodin_Update_Site

	~~-------------------------------------------~~
	==Rules to follow==		==Rules to follow==

imported>Tommy at 13:55, 24 October 2011

2011-10-24T13:55:10Z

← Older revision		Revision as of 13:55, 24 October 2011
Line 1:		Line 1:
	The Main Rodin update site is maintained on the sourceforge web pages for the rodin-b-sharp project.		==The main Rodin Update Site description==
	/htdocs/updates/site.xml		The 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

	See here for details on accessing sourceforge web pages: https://sourceforge.net/apps/trac/sourceforge/wiki/File%20management%20service		See here for details on accessing sourceforge web pages: https://sourceforge.net/apps/trac/sourceforge/wiki/File%20management%20service
Line 7:		Line 7:

	-------------------------------------------		-------------------------------------------
			==Rules to follow==
	Rules to follow:

	#The features and plug-ins should always be sorted by categories.		#The features and plug-ins should always be sorted by categories.

imported>Tommy at 13:52, 24 October 2011

2011-10-24T13:52:26Z

← Older revision		Revision as of 13:52, 24 October 2011
Line 3:		Line 3:

	See here for details on accessing sourceforge web pages: https://sourceforge.net/apps/trac/sourceforge/wiki/File%20management%20service		See here for details on accessing sourceforge web pages: https://sourceforge.net/apps/trac/sourceforge/wiki/File%20management%20service

			See here to update the site.xml file on sourceforge web pages: http://wiki.event-b.org/index.php/Details_for_Uploading_Main_Rodin_Update_Site

	-------------------------------------------		-------------------------------------------

imported>Tommy at 13:51, 24 October 2011

2011-10-24T13:51:26Z

Show changes

imported>Tommy: Updated categories

2011-10-24T13:30:45Z

Updated categories

← Older revision		Revision as of 13:30, 24 October 2011
Line 163:		Line 163:
	//******* add a new category-def for your extension feature here BUT ONLY if it does not fit into an existing category.		//******* add a new category-def for your extension feature here BUT ONLY if it does not fit into an existing category.
	</site>		</site>
	[[Category:~~User~~ documentation]]
			[[Category:Developer documentation]]
			[[Category:Rodin Platform]]

imported>Colin at 09:47, 18 May 2011

2011-05-18T09:47:14Z

← Older revision		Revision as of 09:47, 18 May 2011
Line 147:		Line 147:
	//******* (first you should load your plugin jars onto the Rodin sourceforge FRS download site)		//******* (first you should load your plugin jars onto the Rodin sourceforge FRS download site)
	//******* FOR NEW VERSIONS, YOU ONLY NEED TO ADD PLUGINS THAT HAVE BEEN ALTERED		//******* FOR NEW VERSIONS, YOU ONLY NEED TO ADD PLUGINS THAT HAVE BEEN ALTERED
	//********(SOURCEFORGE WILL FIND THE EXISTING PLUGINS IN PREVIOUS RELEASES, ALTHOUGH IT NOW SEEMS TO ALLOW YOU TO LOAD THE SAME FILE TWICE)		//********(SOURCEFORGE WILL FIND THE EXISTING PLUGINS IN PREVIOUS RELEASES, ALTHOUGH IT NOW SEEMS TO ALLOW YOU TO LOAD THE SAME FILE TWICE)

	<category-def name="UML-B" label="UML-B modelling environment">		<category-def name="UML-B" label="UML-B modelling environment">

imported>Colin at 09:46, 18 May 2011

2011-05-18T09:46:17Z

← Older revision		Revision as of 09:46, 18 May 2011
Line 4:		Line 4:
	See here for details on accessing sourceforge web pages:- http://alexandria.wiki.sourceforge.net/Project+Web%2C+Shell%2C+VHOST+and+Database+Services		See here for details on accessing sourceforge web pages:- http://alexandria.wiki.sourceforge.net/Project+Web%2C+Shell%2C+VHOST+and+Database+Services

	Here is a snapshot of the site.xml. (Notes on how to add new releases are included as comments).		Here is a snapshot of the site.xml. (Notes on how to add new releases are included as comments).
			NOTE that the content of this file has changed substantially since this screenshot but the instructions are unchanged.


Line 51:		Line 52:
	</feature>		</feature>

	//******* add a new feature definition for your extension to Rodin Event-B here.		//******* add a new feature definition for your extension to Rodin Event-B here. SEE CATEGORY DEFINITIONS AT BOTTOM OF FILE
	//******* (first you should load your feature jar onto the Rodin sourceforge FRS download site)		//******* (first you should load your feature jar onto the Rodin sourceforge FRS download site)

Line 145:		Line 146:
	//******* add new archive paths for all the eclipse plug-ins that make up your extension here.		//******* add new archive paths for all the eclipse plug-ins that make up your extension here.
	//******* (first you should load your plugin jars onto the Rodin sourceforge FRS download site)		//******* (first you should load your plugin jars onto the Rodin sourceforge FRS download site)
	//******* ~~IMPORTANT -~~ FOR NEW VERSIONS, ONLY ADD PLUGINS THAT HAVE BEEN ALTERED (SOURCEFORGE ~~DOES NOT~~ ALLOW YOU TO LOAD THE SAME FILE TWICE)		//******* FOR NEW VERSIONS, YOU ONLY NEED TO ADD PLUGINS THAT HAVE BEEN ALTERED
			//********(SOURCEFORGE WILL FIND THE EXISTING PLUGINS IN PREVIOUS RELEASES, ALTHOUGH IT NOW SEEMS TO ALLOW YOU TO LOAD THE SAME FILE TWICE)

	<category-def name="UML-B" label="UML-B modelling environment">		<category-def name="UML-B" label="UML-B modelling environment">
Line 159:		Line 161:
	</category-def>		</category-def>

	//******* add a new category-def for your extension feature here.		//******* add a new category-def for your extension feature here BUT ONLY if it does not fit into an existing category.
	</site>		</site>
	[[Category:User documentation]]		[[Category:User documentation]]

imported>Mathieu at 14:05, 6 April 2009

2009-04-06T14:05:17Z

← Older revision		Revision as of 14:05, 6 April 2009
Line 161:		Line 161:
	//******* add a new category-def for your extension feature here.		//******* add a new category-def for your extension feature here.
	</site>		</site>
	[[Category:User ~~Documentation~~]]		[[Category:User documentation]]