Plug-in Tutorial - Revision history

imported>Tommy at 14:27, 5 September 2013

2013-09-05T14:27:29Z

← Older revision		Revision as of 14:27, 5 September 2013
Line 24:		Line 24:
	==Projects==		==Projects==
	The archives of the projects built in this tutorial are available here: https://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/		The archives of the projects built in this tutorial are available here: https://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive1_After_Database_Extension.zip/download <tt>Archive1_After_Database_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive1_After_Database_Extension.zip/download <tt>Archive1_After_Database_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive2_After_Structured_Editor_Extension.zip/download <tt>Archive2_After_Structured_Editor_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive2_After_Structured_Editor_Extension.zip/download <tt>Archive2_After_Structured_Editor_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive3_After_EventB_Explorer_Extension.zip/download <tt>Archive3_After_EventB_Explorer_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive3_After_EventB_Explorer_Extension.zip/download <tt>Archive3_After_EventB_Explorer_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive4_After_PrettyPrinter_Extension.zip/download <tt>Archive4_After_PrettyPrinter_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive4_After_PrettyPrinter_Extension.zip/download <tt>Archive4_After_PrettyPrinter_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive5_After_Help_Extension.zip/download <tt>Archive5_After_Help_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive5_After_Help_Extension.zip/download <tt>Archive5_After_Help_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive6_After_Static_Checker_Extension.zip/download <tt>Archive6_After_Static_Checker_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive6_After_Static_Checker_Extension.zip/download <tt>Archive6_After_Static_Checker_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive7_After_Proof_Obligation_Generator_Extension.zip/download <tt>Archive7_After_Proof_Obligation_Generator_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive7_After_Proof_Obligation_Generator_Extension.zip/download <tt>Archive7_After_Proof_Obligation_Generator_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive8_After_Sequent_Prover_Extension.zip/download <tt>Archive8_After_Sequent_Prover_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive8_After_Sequent_Prover_Extension.zip/download <tt>Archive8_After_Sequent_Prover_Extension.zip</tt>]

	{{Navigation\|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction]]}}		{{Navigation\|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction]]}}

imported>Tommy: /* Projects */

2010-10-25T11:34:19Z

Projects

← Older revision		Revision as of 11:34, 25 October 2010
Line 23:		Line 23:

	==Projects==		==Projects==
	The archives of the projects built in this tutorial are available here:		The archives of the projects built in this tutorial are available here: https://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive1_After_Database_Extension.zip/download \|<tt>Archive1_After_Database_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive1_After_Database_Extension.zip/download <tt>Archive1_After_Database_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive2_After_Structured_Editor_Extension.zip/download \|<tt>Archive2_After_Structured_Editor_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive2_After_Structured_Editor_Extension.zip/download <tt>Archive2_After_Structured_Editor_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive3_After_EventB_Explorer_Extension.zip/download \|<tt>Archive3_After_EventB_Explorer_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive3_After_EventB_Explorer_Extension.zip/download <tt>Archive3_After_EventB_Explorer_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive4_After_PrettyPrinter_Extension.zip/download \|<tt>Archive4_After_PrettyPrinter_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive4_After_PrettyPrinter_Extension.zip/download <tt>Archive4_After_PrettyPrinter_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive5_After_Help_Extension.zip/download \|<tt>Archive5_After_Help_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive5_After_Help_Extension.zip/download <tt>Archive5_After_Help_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive6_After_Static_Checker_Extension.zip/download \|<tt>Archive6_After_Static_Checker_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive6_After_Static_Checker_Extension.zip/download <tt>Archive6_After_Static_Checker_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive7_After_Proof_Obligation_Generator_Extension.zip/download \|<tt>Archive7_After_Proof_Obligation_Generator_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive7_After_Proof_Obligation_Generator_Extension.zip/download <tt>Archive7_After_Proof_Obligation_Generator_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive8_After_Sequent_Prover_Extension.zip/download \|<tt>Archive8_After_Sequent_Prover_Extension.zip</tt>]		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive8_After_Sequent_Prover_Extension.zip/download <tt>Archive8_After_Sequent_Prover_Extension.zip</tt>]

	{{Navigation\|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction]]}}		{{Navigation\|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction]]}}

imported>Tommy: /* Projects */

2010-10-25T11:32:32Z

Projects

← Older revision		Revision as of 11:32, 25 October 2010
Line 24:		Line 24:
	==Projects==		==Projects==
	The archives of the projects built in this tutorial are available here:		The archives of the projects built in this tutorial are available here:
	// ~~'''FIXME~~. ~~Add the links to the~~ .zip files ~~here~~.~~'''~~		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive1_After_Database_Extension.zip/download \|<tt>Archive1_After_Database_Extension.zip</tt>]
	* [http://sourceforge.net/projects/rodin-b-sharp/files/~~Doc_%20Tutorial~~/2.0/~~Help~~.zip/download<tt>~~Help~~.zip</tt>]~~, which will be needed in section XXX~~.		* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive2_After_Structured_Editor_Extension.zip/download \|<tt>Archive2_After_Structured_Editor_Extension.zip</tt>]
			* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive3_After_EventB_Explorer_Extension.zip/download \|<tt>Archive3_After_EventB_Explorer_Extension.zip</tt>]
			* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive4_After_PrettyPrinter_Extension.zip/download \|<tt>Archive4_After_PrettyPrinter_Extension.zip</tt>]
			* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive5_After_Help_Extension.zip/download \|<tt>Archive5_After_Help_Extension.zip</tt>]
			* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive6_After_Static_Checker_Extension.zip/download \|<tt>Archive6_After_Static_Checker_Extension.zip</tt>]
			* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive7_After_Proof_Obligation_Generator_Extension.zip/download \|<tt>Archive7_After_Proof_Obligation_Generator_Extension.zip</tt>]
			* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/1.0/Archive8_After_Sequent_Prover_Extension.zip/download \|<tt>Archive8_After_Sequent_Prover_Extension.zip</tt>]

	{{Navigation\|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction]]}}		{{Navigation\|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction]]}}

imported>Pascal: /* Outline */

2010-09-01T16:43:39Z

Outline

← Older revision		Revision as of 16:43, 1 September 2010
Line 11:		Line 11:
	''First part'' How to extend the UI?		''First part'' How to extend the UI?
	* {{topic\|Creating_a_new_plug-in_using_eclipse_(How_to_extend_Rodin_Tutorial)\|1 Creating our plug-in}}		* {{topic\|Creating_a_new_plug-in_using_eclipse_(How_to_extend_Rodin_Tutorial)\|1 Creating our plug-in}}
	* {{topic\|Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)\|2 ~~Contributing new~~ elements in the ~~Rodin~~ database}}		* {{topic\|Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)\|2 Adding elements to the database (Extending the database) }}
	* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding ~~support for new~~ elements in the Rodin structured editor}}		* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding elements in the Rodin structured editor (Extending the structured editor)}}
	* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer}}		* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer (Extending the navigator)}}
	* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Displaying ~~added~~ elements in the Pretty Print Page}}		* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Displaying elements in the Pretty Print Page (Extending the pretty printer)}}
	* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing ~~help~~}}		* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Documenting our plug-in (Providing Eclipse Help contents)}}

	''Second part'':		''Second part'':
	* {{topic\|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)\|7 Extending the ~~Static Checker~~}}		* {{topic\|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)\|7 Enforcing rules on newly added elements (Extending the static checker)}}
	* {{topic\|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)\|8 Extending the Proof Obligation Generator}}		* {{topic\|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)\|8 Generating proof obligations (Extending the Proof Obligation Generator)}}
	* {{topic\|Adding_Reasoners(How_to_extend_Rodin_Tutorial)\|9 Adding reasoners}}		* {{topic\|Adding_Reasoners(How_to_extend_Rodin_Tutorial)\|9 Adding new reasoners}}

	==Projects==		==Projects==

imported>Pascal: /* Outline */

2010-08-25T12:25:03Z

Outline

← Older revision		Revision as of 12:25, 25 August 2010
Line 14:		Line 14:
	* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding support for new elements in the Rodin structured editor}}		* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding support for new elements in the Rodin structured editor}}
	* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer}}		* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer}}
	* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 ~~Display~~ added elements in the Pretty Print Page}}		* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Displaying added elements in the Pretty Print Page}}
	* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}		* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}

imported>Pascal: /* Outline */

2010-08-25T12:22:02Z

Outline

← Older revision		Revision as of 12:22, 25 August 2010
Line 8:		Line 8:
	==Outline==		==Outline==
	* {{topic\|Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction}}		* {{topic\|Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction}}
	''First part'' ~~(Probabilistic Termination and Qualitative Reasoning Plugin):~~
			''First part'' How to extend the UI?
	* {{topic\|Creating_a_new_plug-in_using_eclipse_(How_to_extend_Rodin_Tutorial)\|1 Creating our plug-in}}		* {{topic\|Creating_a_new_plug-in_using_eclipse_(How_to_extend_Rodin_Tutorial)\|1 Creating our plug-in}}
	* {{topic\|Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)\|2 Contributing new elements in the Rodin database}}		* {{topic\|Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)\|2 Contributing new elements in the Rodin database}}
Line 15:		Line 16:
	* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Display added elements in the Pretty Print Page}}		* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Display added elements in the Pretty Print Page}}
	* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}		* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}

			''Second part'':
	* {{topic\|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)\|7 Extending the Static Checker}}		* {{topic\|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)\|7 Extending the Static Checker}}
	* {{topic\|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)\|8 Extending the Proof Obligation Generator}}		* {{topic\|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)\|8 Extending the Proof Obligation Generator}}
			* {{topic\|Adding_Reasoners(How_to_extend_Rodin_Tutorial)\|9 Adding reasoners}}
	~~''Second part''~~ (~~Various problem solvings~~):
	*
	*
	*

	==Projects==		==Projects==

imported>Tommy at 12:17, 24 August 2010

2010-08-24T12:17:49Z

← Older revision		Revision as of 12:17, 24 August 2010
Line 15:		Line 15:
	* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Display added elements in the Pretty Print Page}}		* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Display added elements in the Pretty Print Page}}
	* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}		* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}
			* {{topic\|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)\|7 Extending the Static Checker}}
			* {{topic\|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)\|8 Extending the Proof Obligation Generator}}

	''Second part'' (Various problem solvings):		''Second part'' (Various problem solvings):

imported>Tommy at 17:09, 23 August 2010

2010-08-23T17:09:49Z

← Older revision		Revision as of 17:09, 23 August 2010
Line 13:		Line 13:
	* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding support for new elements in the Rodin structured editor}}		* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding support for new elements in the Rodin structured editor}}
	* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer}}		* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer}}
	* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|5 Providing help}}		* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Display added elements in the Pretty Print Page}}
			* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}

	''Second part'' (Various problem solvings):		''Second part'' (Various problem solvings):

imported>Pascal: /* Projects */

2010-08-23T16:58:54Z

Projects

← Older revision		Revision as of 16:58, 23 August 2010
Line 23:		Line 23:
	The archives of the projects built in this tutorial are available here:		The archives of the projects built in this tutorial are available here:
	// '''FIXME. Add the links to the .zip files here.'''		// '''FIXME. Add the links to the .zip files here.'''
			* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_%20Tutorial/2.0/Help.zip/download<tt>Help.zip</tt>], which will be needed in section XXX.

	{{Navigation\|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction]]}}		{{Navigation\|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction]]}}

imported>Pascal at 14:56, 23 August 2010

2010-08-23T14:56:18Z

← Older revision		Revision as of 14:56, 23 August 2010
Line 19:		Line 19:
	*		*
	*		*

			==Projects==
			The archives of the projects built in this tutorial are available here:
			// '''FIXME. Add the links to the .zip files here.'''

	{{Navigation\|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction]]}}		{{Navigation\|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction]]}}

← Older revision		Revision as of 16:43, 1 September 2010
Line 11:		Line 11:
	''First part'' How to extend the UI?		''First part'' How to extend the UI?
	* {{topic\|Creating_a_new_plug-in_using_eclipse_(How_to_extend_Rodin_Tutorial)\|1 Creating our plug-in}}		* {{topic\|Creating_a_new_plug-in_using_eclipse_(How_to_extend_Rodin_Tutorial)\|1 Creating our plug-in}}
	* {{topic\|Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)\|2 ~~Contributing new~~ elements in the ~~Rodin~~ database}}		* {{topic\|Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)\|2 Adding elements to the database (Extending the database) }}
	* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding ~~support for new~~ elements in the Rodin structured editor}}		* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding elements in the Rodin structured editor (Extending the structured editor)}}
	* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer}}		* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer (Extending the navigator)}}
	* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Displaying ~~added~~ elements in the Pretty Print Page}}		* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Displaying elements in the Pretty Print Page (Extending the pretty printer)}}
	* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing ~~help~~}}		* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Documenting our plug-in (Providing Eclipse Help contents)}}

	''Second part'':		''Second part'':
	* {{topic\|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)\|7 Extending the ~~Static Checker~~}}		* {{topic\|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)\|7 Enforcing rules on newly added elements (Extending the static checker)}}
	* {{topic\|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)\|8 Extending the Proof Obligation Generator}}		* {{topic\|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)\|8 Generating proof obligations (Extending the Proof Obligation Generator)}}
	* {{topic\|Adding_Reasoners(How_to_extend_Rodin_Tutorial)\|9 Adding reasoners}}		* {{topic\|Adding_Reasoners(How_to_extend_Rodin_Tutorial)\|9 Adding new reasoners}}

	==Projects==		==Projects==

← Older revision		Revision as of 12:25, 25 August 2010
Line 14:		Line 14:
	* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding support for new elements in the Rodin structured editor}}		* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding support for new elements in the Rodin structured editor}}
	* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer}}		* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer}}
	* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 ~~Display~~ added elements in the Pretty Print Page}}		* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Displaying added elements in the Pretty Print Page}}
	* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}		* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}

← Older revision		Revision as of 12:22, 25 August 2010
Line 8:		Line 8:
	==Outline==		==Outline==
	* {{topic\|Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction}}		* {{topic\|Introduction_(How_to_extend_Rodin_Tutorial)\|Introduction}}
	''First part'' ~~(Probabilistic Termination and Qualitative Reasoning Plugin):~~
			''First part'' How to extend the UI?
	* {{topic\|Creating_a_new_plug-in_using_eclipse_(How_to_extend_Rodin_Tutorial)\|1 Creating our plug-in}}		* {{topic\|Creating_a_new_plug-in_using_eclipse_(How_to_extend_Rodin_Tutorial)\|1 Creating our plug-in}}
	* {{topic\|Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)\|2 Contributing new elements in the Rodin database}}		* {{topic\|Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)\|2 Contributing new elements in the Rodin database}}
Line 15:		Line 16:
	* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Display added elements in the Pretty Print Page}}		* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Display added elements in the Pretty Print Page}}
	* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}		* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}

			''Second part'':
	* {{topic\|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)\|7 Extending the Static Checker}}		* {{topic\|Extending_the_Static_Checker(How_to_extend_Rodin_Tutorial)\|7 Extending the Static Checker}}
	* {{topic\|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)\|8 Extending the Proof Obligation Generator}}		* {{topic\|Extending_the_Proof_Obligation_Generator(How_to_extend_Rodin_Tutorial)\|8 Extending the Proof Obligation Generator}}
			* {{topic\|Adding_Reasoners(How_to_extend_Rodin_Tutorial)\|9 Adding reasoners}}
	~~''Second part''~~ (~~Various problem solvings~~):
	*
	*
	*

	==Projects==		==Projects==

← Older revision		Revision as of 17:09, 23 August 2010
Line 13:		Line 13:
	* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding support for new elements in the Rodin structured editor}}		* {{topic\|Extend_Rodin_Structured_Editor_(How_to_extend_Rodin_Tutorial)\|3 Adding support for new elements in the Rodin structured editor}}
	* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer}}		* {{topic\|Extend_Rodin_EventB_Explorer(How_to_extend_Rodin_Tutorial)\|4 Adding elements to the Event-B explorer}}
	* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|5 Providing help}}		* {{topic\|Extending_Rodin_Pretty Print Page(How_to_extend_Rodin_Tutorial)\|5 Display added elements in the Pretty Print Page}}
			* {{topic\|Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)\|6 Providing help}}

	''Second part'' (Various problem solvings):		''Second part'' (Various problem solvings):