Rodin Tutorials - Revision history

imported>Ladenberger at 08:47, 27 October 2011

2011-10-27T08:47:35Z

← Older revision		Revision as of 08:47, 27 October 2011
Line 1:		Line 1:
	== Rodin ~~User Tutorial~~ ==		This page gives a brief summary of tutorial documents for Rodin and other Plug-ins.

			== Rodin Handbook ==

	[http://handbook.event-b.org/current/html/tutorial.html Rodin Handbook (Tutorial)]		[http://handbook.event-b.org/current/html/tutorial.html Rodin Handbook (Tutorial)]

2011-10-27T08:36:09Z

← Older revision		Revision as of 08:36, 27 October 2011
Line 1:		Line 1:
	== Rodin User Tutorial ==		== Rodin User Tutorial ==

	[http://handbook.event-b.org/ Rodin Handbook]		[http://handbook.event-b.org/current/html/tutorial.html Rodin Handbook (Tutorial)]

	<small>		<small>

2011-10-27T08:35:27Z

← Older revision		Revision as of 08:35, 27 October 2011
Line 1:		Line 1:
	== Rodin User Tutorial ==		== Rodin User Tutorial ==

	[http://handbook.event-b.org/ ~~User Manual for~~ Rodin]		[http://handbook.event-b.org/ Rodin Handbook]

	<small>		<small>

2011-10-27T08:02:18Z

← Older revision		Revision as of 08:02, 27 October 2011
Line 1:		Line 1:
	== Rodin User Tutorial ~~(celebrity, doors, galois, closure)~~ ==		== Rodin User Tutorial ==

	~~{\| class="wikitable" style="font-style:italic; text-align: center; font-size:120%; border: 3px dashed red;"~~		[http://handbook.event-b.org/ User Manual for Rodin]
	\|-
	~~! scope="col" \| Do not edit! This content has been migrated to Subversion.~~
	\|-
	\|([http://handbook.event-b.org ~~Nightly Handbook Build])~~
	\|}

	~~<b>This tutorial is currently outdated. We are looking~~ for ~~contributors willing to update / improve it!</b>~~

	~~The [[Index (Rodin Tutorial)\|~~Rodin ~~User Tutorial]~~] ~~gives a tour of Rodin most important features. It is based on four examples. It is also an introduction to proving with the Rodin Platform.~~

	<small>		<small>

2011-09-16T12:38:46Z

Rodin User Tutorial (celebrity, doors, galois, closure)

← Older revision		Revision as of 12:38, 16 September 2011
Line 1:		Line 1:
	== Rodin User Tutorial (celebrity, doors, galois, closure) ==		== Rodin User Tutorial (celebrity, doors, galois, closure) ==

			{\| class="wikitable" style="font-style:italic; text-align: center; font-size:120%; border: 3px dashed red;"
			\|-
			! scope="col" \| Do not edit! This content has been migrated to Subversion.
			\|-
			\|([http://handbook.event-b.org Nightly Handbook Build])
			\|}

	<b>This tutorial is currently outdated. We are looking for contributors willing to update / improve it!</b>		<b>This tutorial is currently outdated. We are looking for contributors willing to update / improve it!</b>

2010-08-19T08:19:10Z

← Older revision		Revision as of 08:19, 19 August 2010
Line 1:		Line 1:
	== Rodin User Tutorial (celebrity, doors, galois, closure) ==		== Rodin User Tutorial (celebrity, doors, galois, closure) ==

			<b>This tutorial is currently outdated. We are looking for contributors willing to update / improve it!</b>

	The [[Index (Rodin Tutorial)\|Rodin User Tutorial]] gives a tour of Rodin most important features. It is based on four examples. It is also an introduction to proving with the Rodin Platform.		The [[Index (Rodin Tutorial)\|Rodin User Tutorial]] gives a tour of Rodin most important features. It is based on four examples. It is also an introduction to proving with the Rodin Platform.

2010-05-10T10:47:29Z

← Older revision		Revision as of 10:47, 10 May 2010
Line 12:		Line 12:
	[[Category:User documentation]]		[[Category:User documentation]]
	[[Category:Tutorial]]		[[Category:Tutorial]]

			== Statemachine Animation Tutorial ==
			[[Statemachine Animation Tutorial]] shows how to use the Statemachine Animation plug-in on a sample UML-B model.

2009-11-03T16:34:39Z

Tutorial 1 (celebrity, doors, galois, closure): Major rewrite

← Older revision		Revision as of 16:34, 3 November 2009
Line 1:		Line 1:
	== Tutorial 1 (celebrity, doors, galois, closure) ==		== Rodin User Tutorial (celebrity, doors, galois, closure) ==
	;[http://deploy-eprints.ecs.soton.ac.uk/10/ ~~document and project archives~~]~~: original and somewhat outdated version~~		The [[Index (Rodin Tutorial)\|Rodin User Tutorial]] gives a tour of Rodin most important features. It is based on four examples. It is also an introduction to proving with the Rodin Platform.
	~~;[[Index (Rodin Tutorial)\|in wiki format]]: translated from the original version, and being updated ''(some formulas are not yet rendered well, but the problem is being worked out)''~~
			<small>
			The original and now outdated version is available [http://deploy-eprints.ecs.soton.ac.uk/10/ here].
			</small>

	== Requirements Tutorial ==		== Requirements Tutorial ==

2008-09-10T20:30:13Z

Robot: Changing Category:User Documentation

← Older revision		Revision as of 20:30, 10 September 2008
Line 7:		Line 7:
	;[[Requirements Tutorial]]: Shows how the Requirements Plug-in is used		;[[Requirements Tutorial]]: Shows how the Requirements Plug-in is used

	[[Category:User ~~Documentation~~]]		[[Category:User documentation]]
	[[Category:Tutorial]]		[[Category:Tutorial]]

2008-07-22T13:22:34Z

← Older revision		Revision as of 13:22, 22 July 2008
Line 2:		Line 2:
	;[http://deploy-eprints.ecs.soton.ac.uk/10/ document and project archives]: original and somewhat outdated version		;[http://deploy-eprints.ecs.soton.ac.uk/10/ document and project archives]: original and somewhat outdated version
	;[[Index (Rodin Tutorial)\|in wiki format]]: translated from the original version, and being updated ''(some formulas are not yet rendered well, but the problem is being worked out)''		;[[Index (Rodin Tutorial)\|in wiki format]]: translated from the original version, and being updated ''(some formulas are not yet rendered well, but the problem is being worked out)''

	~~[[Category:User Documentation]]~~
	~~[[Category:Tutorial]]~~

	== Requirements Tutorial ==		== Requirements Tutorial ==