Event-B:Village pump - Revision history

imported>Mathieu: /* January 2009 */ add February

2009-02-24T08:43:19Z

January 2009: add February

← Older revision		Revision as of 08:43, 24 February 2009
Line 88:		Line 88:
	I've set up a page to which people can add Event-B examples with a link from the sidebar. [[Event-B_Examples\|Event-B Examples]]		I've set up a page to which people can add Event-B examples with a link from the sidebar. [[Event-B_Examples\|Event-B Examples]]
	--[[User:WikiSysop\|WikiSysop]] 16:40, 12 January 2009 (UTC)		--[[User:WikiSysop\|WikiSysop]] 16:40, 12 January 2009 (UTC)

			= February 2009 =
			== Exporting model to wiki ==
			I've just begun to write down [[:Category:Listing templates\|some templates]] that may be useful to typeset event-b listings in this wiki. The ultimate goal will be to export existing [[Event-B_Examples\|event-b examples]] to this wiki. More informations here when it will become functional. [[User:Mathieu\|Mathieu]]

			== Event-B IDE - What's needed ==
			I've started a new page to list some features and use cases that I feel like being needed, in [[User:Mathieu/Event-B IDE:Needed use cases\|That page]]. Fell free to complete. [[User:Mathieu\|Mathieu]]

imported>WikiSysop at 16:40, 12 January 2009

2009-01-12T16:40:34Z

← Older revision		Revision as of 16:40, 12 January 2009
Line 83:		Line 83:

	For an exhaustive list of existing templates, you may have a look at [[:Category:Templates]]. [[User:Mathieu\|Mathieu]] 14:31, 12 December 2008 (UTC)		For an exhaustive list of existing templates, you may have a look at [[:Category:Templates]]. [[User:Mathieu\|Mathieu]] 14:31, 12 December 2008 (UTC)

			= January 2009 =
			== Event-B Examples ==
			I've set up a page to which people can add Event-B examples with a link from the sidebar. [[Event-B_Examples\|Event-B Examples]]
			--[[User:WikiSysop\|WikiSysop]] 16:40, 12 January 2009 (UTC)

imported>Mathieu: December 2008 : Templates for Rodin Documentation

2008-12-12T14:31:48Z

December 2008 : Templates for Rodin Documentation

← Older revision		Revision as of 14:31, 12 December 2008
Line 77:		Line 77:
	:There is already a section on the [http://deploy-eprints.ecs.soton.ac.uk/view/type/rodin=5Farchive.html eventb.org deploy repository] where people can put models. But it would probably be nice to advertise the repository here, and also to build a section of the wiki with some descriptions of the models... I'll try to propose something in the next comming days, but in the meanwhile, feel free to start a page.		:There is already a section on the [http://deploy-eprints.ecs.soton.ac.uk/view/type/rodin=5Farchive.html eventb.org deploy repository] where people can put models. But it would probably be nice to advertise the repository here, and also to build a section of the wiki with some descriptions of the models... I'll try to propose something in the next comming days, but in the meanwhile, feel free to start a page.
	:Thank you for your contribution to the wiki. [[User:Mathieu\|Mathieu]] 09:28, 27 November 2008 (UTC)		:Thank you for your contribution to the wiki. [[User:Mathieu\|Mathieu]] 09:28, 27 November 2008 (UTC)

			= December 2008 =
			== Templates for Rodin Documentation ==
			I've quickly set up a short page listing the main [[Help:Templates\|templates]] available on this wiki. They were design with the hope to have uniform typesetting across the whole wiki. The page is: [[Help:Rodin templates]]. I'll had a short description for each of them soon. In the meanwhile you may read the documentation by clicking of the template link. Please, consider using them, and adding new one if necessary.

			For an exhaustive list of existing templates, you may have a look at [[:Category:Templates]]. [[User:Mathieu\|Mathieu]] 14:31, 12 December 2008 (UTC)

imported>Steve: /* Available Models Page? */

2008-11-27T09:50:14Z

Available Models Page?

← Older revision		Revision as of 09:50, 27 November 2008
Line 74:		Line 74:
	== Available Models Page? ==		== Available Models Page? ==

	How about having a page similar to [http://wiki.event-b.org/index.php/Current_Developments Current Developments] where people can advertise models they have contructed? Ideally we should have an accompanying area on sourceforge. The hardest thing about coming to Event-B/RODIN at the moment is trying to find good examples.		How about having a page similar to [http://wiki.event-b.org/index.php/Current_Developments Current Developments] where people can advertise models they have contructed? Ideally we should have an accompanying area on sourceforge. The hardest thing about coming to Event-B/RODIN at the moment is trying to find good examples [[User:Steve\|Steve]] 26 November 2008 (UTC).
	:There is already a section on the [http://deploy-eprints.ecs.soton.ac.uk/view/type/rodin=5Farchive.html eventb.org deploy repository] where people can put models. But it would probably be nice to advertise the repository here, and also to build a section of the wiki with some descriptions of the models... I'll try to propose something in the next comming days, but in the meanwhile, feel free to start a page.		:There is already a section on the [http://deploy-eprints.ecs.soton.ac.uk/view/type/rodin=5Farchive.html eventb.org deploy repository] where people can put models. But it would probably be nice to advertise the repository here, and also to build a section of the wiki with some descriptions of the models... I'll try to propose something in the next comming days, but in the meanwhile, feel free to start a page.
	:Thank you for your contribution to the wiki. [[User:Mathieu\|Mathieu]] 09:28, 27 November 2008 (UTC)		:Thank you for your contribution to the wiki. [[User:Mathieu\|Mathieu]] 09:28, 27 November 2008 (UTC)

imported>Mathieu: /* Available Models Page? */ a section exist on eventb.og

2008-11-27T09:28:30Z

Available Models Page?: a section exist on eventb.og

← Older revision		Revision as of 09:28, 27 November 2008
Line 75:		Line 75:

	How about having a page similar to [http://wiki.event-b.org/index.php/Current_Developments Current Developments] where people can advertise models they have contructed? Ideally we should have an accompanying area on sourceforge. The hardest thing about coming to Event-B/RODIN at the moment is trying to find good examples.		How about having a page similar to [http://wiki.event-b.org/index.php/Current_Developments Current Developments] where people can advertise models they have contructed? Ideally we should have an accompanying area on sourceforge. The hardest thing about coming to Event-B/RODIN at the moment is trying to find good examples.
			:There is already a section on the [http://deploy-eprints.ecs.soton.ac.uk/view/type/rodin=5Farchive.html eventb.org deploy repository] where people can put models. But it would probably be nice to advertise the repository here, and also to build a section of the wiki with some descriptions of the models... I'll try to propose something in the next comming days, but in the meanwhile, feel free to start a page.
			:Thank you for your contribution to the wiki. [[User:Mathieu\|Mathieu]] 09:28, 27 November 2008 (UTC)

imported>Steve: /* Available Models Page? */

2008-11-26T13:57:14Z

Available Models Page?

← Older revision		Revision as of 13:57, 26 November 2008
Line 69:		Line 69:
	I've tweaked a main page layout inspired form wikipedia. The proposed layout is visible [[User:Mathieu/Main_Page\|here]]. If no one disagree, I'll put it on the main page. [[User:Mathieu\|Mathieu]] 16:45, 27 October 2008 (UTC)		I've tweaked a main page layout inspired form wikipedia. The proposed layout is visible [[User:Mathieu/Main_Page\|here]]. If no one disagree, I'll put it on the main page. [[User:Mathieu\|Mathieu]] 16:45, 27 October 2008 (UTC)
	: Main page was updated according to the the proposed layout. [[User:Mathieu\|Mathieu]] 11:05, 10 November 2008 (UTC)		: Main page was updated according to the the proposed layout. [[User:Mathieu\|Mathieu]] 11:05, 10 November 2008 (UTC)

			= November 2008 =

	== Available Models Page? ==		== Available Models Page? ==

	How about having a page similar to [http://wiki.event-b.org/index.php/Current_Developments Current Developments] where people can advertise models they have contructed? Ideally we should have an accompanying area on sourceforge. The hardest thing about coming to Event-B/RODIN at the moment is trying to find good examples.		How about having a page similar to [http://wiki.event-b.org/index.php/Current_Developments Current Developments] where people can advertise models they have contructed? Ideally we should have an accompanying area on sourceforge. The hardest thing about coming to Event-B/RODIN at the moment is trying to find good examples.

imported>Steve: /* Available Models Page? */ new section

2008-11-26T13:56:39Z

Available Models Page?: new section

← Older revision		Revision as of 13:56, 26 November 2008
Line 69:		Line 69:
	I've tweaked a main page layout inspired form wikipedia. The proposed layout is visible [[User:Mathieu/Main_Page\|here]]. If no one disagree, I'll put it on the main page. [[User:Mathieu\|Mathieu]] 16:45, 27 October 2008 (UTC)		I've tweaked a main page layout inspired form wikipedia. The proposed layout is visible [[User:Mathieu/Main_Page\|here]]. If no one disagree, I'll put it on the main page. [[User:Mathieu\|Mathieu]] 16:45, 27 October 2008 (UTC)
	: Main page was updated according to the the proposed layout. [[User:Mathieu\|Mathieu]] 11:05, 10 November 2008 (UTC)		: Main page was updated according to the the proposed layout. [[User:Mathieu\|Mathieu]] 11:05, 10 November 2008 (UTC)

			== Available Models Page? ==

			How about having a page similar to [http://wiki.event-b.org/index.php/Current_Developments Current Developments] where people can advertise models they have contructed? Ideally we should have an accompanying area on sourceforge. The hardest thing about coming to Event-B/RODIN at the moment is trying to find good examples.

imported>Mathieu: /* Main page proposal */

2008-11-10T11:05:43Z

Main page proposal

← Older revision		Revision as of 11:05, 10 November 2008
Line 68:		Line 68:

	I've tweaked a main page layout inspired form wikipedia. The proposed layout is visible [[User:Mathieu/Main_Page\|here]]. If no one disagree, I'll put it on the main page. [[User:Mathieu\|Mathieu]] 16:45, 27 October 2008 (UTC)		I've tweaked a main page layout inspired form wikipedia. The proposed layout is visible [[User:Mathieu/Main_Page\|here]]. If no one disagree, I'll put it on the main page. [[User:Mathieu\|Mathieu]] 16:45, 27 October 2008 (UTC)
			: Main page was updated according to the the proposed layout. [[User:Mathieu\|Mathieu]] 11:05, 10 November 2008 (UTC)

imported>Mathieu: /* Main page proposal */ new section

2008-10-27T16:45:18Z

Main page proposal: new section

← Older revision		Revision as of 16:45, 27 October 2008
Line 64:		Line 64:

	= October 2008 =		= October 2008 =

			== Main page proposal ==

			I've tweaked a main page layout inspired form wikipedia. The proposed layout is visible [[User:Mathieu/Main_Page\|here]]. If no one disagree, I'll put it on the main page. [[User:Mathieu\|Mathieu]] 16:45, 27 October 2008 (UTC)

imported>Mathieu: /* Scenarios for Team-based Development */

2008-10-27T16:22:00Z

Scenarios for Team-based Development

← Older revision		Revision as of 16:22, 27 October 2008
Line 62:		Line 62:

	[[User:Jastram\|Michael Jastram]] has put up a page to collect [[Scenarios for Team-based Development]]. I added some thoughts on the [[Talk:Scenarios for Team-based Development\|talk page]]. Please do not hesitate to read, react and contribute. [[User:Mathieu\|Mathieu]] 09:14, 29 September 2008 (UTC)		[[User:Jastram\|Michael Jastram]] has put up a page to collect [[Scenarios for Team-based Development]]. I added some thoughts on the [[Talk:Scenarios for Team-based Development\|talk page]]. Please do not hesitate to read, react and contribute. [[User:Mathieu\|Mathieu]] 09:14, 29 September 2008 (UTC)

			= October 2008 =