Rodin Platform Releases - Revision history

Idir: /* Current Release */

2023-04-04T06:51:45Z

Current Release

← Older revision		Revision as of 06:51, 4 April 2023
Line 2:		Line 2:

	== Current Release ==		== Current Release ==
	<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.7 Release Notes\|3.7]]. It has been published on ~~2022~~-04-25. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.~~7_Release_Notes~~ here]</p>		<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.8 Release Notes\|3.8]]. It has been published on 2023-04-03. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.8_Release_Notes here]</p>

	== Current plug-ins ==		== Current plug-ins ==

Idir: /* Previous Releases */

2023-04-04T06:50:24Z

Previous Releases

← Older revision		Revision as of 06:50, 4 April 2023
Line 12:		Line 12:
	\|-		\|-
	! scope=col \| Version \|\| Release Date		! scope=col \| Version \|\| Release Date
			\|-
			\|[[Rodin Platform 3.8 Release Notes\|3.8]] \|\| 2023/04/03
	\|-		\|-
	\|[[Rodin Platform 3.7 Release Notes\|3.7]] \|\| 2022/04/25		\|[[Rodin Platform 3.7 Release Notes\|3.7]] \|\| 2022/04/25

Idir: /* Previous Releases */

2022-04-28T14:24:05Z

Previous Releases

← Older revision		Revision as of 14:24, 28 April 2022
Line 12:		Line 12:
	\|-		\|-
	! scope=col \| Version \|\| Release Date		! scope=col \| Version \|\| Release Date
			\|-
			\|[[Rodin Platform 3.7 Release Notes\|3.7]] \|\| 2022/04/25
	\|-		\|-
	\|[[Rodin Platform 3.6 Release Notes\|3.6]] \|\| 2021/05/17		\|[[Rodin Platform 3.6 Release Notes\|3.6]] \|\| 2021/05/17

Idir: /* Current Release */

2022-04-28T14:23:02Z

Current Release

← Older revision		Revision as of 14:23, 28 April 2022
Line 2:		Line 2:

	== Current Release ==		== Current Release ==
	<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.6 Release Notes\|3.6]]. It has been published on ~~2021~~-05-17. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.~~6_Release_Notes~~ here]</p>		<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.7 Release Notes\|3.7]]. It has been published on 2022-04-25. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.7_Release_Notes here]</p>

	== Current plug-ins ==		== Current plug-ins ==

Idir: /* Previous Releases */

2021-05-17T10:08:12Z

Previous Releases

← Older revision		Revision as of 10:08, 17 May 2021
Line 12:		Line 12:
	\|-		\|-
	! scope=col \| Version \|\| Release Date		! scope=col \| Version \|\| Release Date
			\|-
			\|[[Rodin Platform 3.6 Release Notes\|3.6]] \|\| 2021/05/17
			\|-
			\|[[Rodin Platform 3.5 Release Notes\|3.5]] \|\| 2020/09/11
	\|-		\|-
	\|[[Rodin Platform 3.4 Release Notes\|3.4]] \|\| 2018/02/23		\|[[Rodin Platform 3.4 Release Notes\|3.4]] \|\| 2018/02/23

Idir: /* Current Release */

2021-05-17T10:06:28Z

Current Release

← Older revision		Revision as of 10:06, 17 May 2021
Line 2:		Line 2:

	== Current Release ==		== Current Release ==
	<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.5 Release Notes\|3.5]]. It has been published on ~~2020~~-09-11. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.~~5_Release_Notes~~ here]</p>		<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.6 Release Notes\|3.6]]. It has been published on 2021-05-17. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.6_Release_Notes here]</p>

	== Current plug-ins ==		== Current plug-ins ==

Laurent at 10:26, 11 September 2020

2020-09-11T10:26:55Z

← Older revision		Revision as of 10:26, 11 September 2020
Line 2:		Line 2:

	== Current Release ==		== Current Release ==
	<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.4 Release Notes\|3.4]]. It has been published on ~~2018~~-02-21. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.~~4_Release_Notes~~ here]</p>		<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.5 Release Notes\|3.5]]. It has been published on 2020-09-11. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.5_Release_Notes here]</p>

	== Current plug-ins ==		== Current plug-ins ==
	{{:Rodin_Platform_3.2.0_External_Plug-ins}}		{{:Rodin_Platform_3.5.0_External_Plug-ins}}

	== ~~Upcoming~~ Releases ==		== Previous Releases ==

	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-
	! scope=col \| Version \|\| ~~Scheduled~~ Release Date		! scope=col \| Version \|\| Release Date
	\|-		\|-
	\| [[Rodin Platform 3.3 Release Notes\|3.3]] \|\|		\|[[Rodin Platform 3.4 Release Notes\|3.4]] \|\| 2018/02/23
	\|}		\|-
			\|[[Rodin Platform 3.3 Release Notes\|3.3]] \|\| 2017/04/05
	~~== Previous Releases ==~~

	~~{{SimpleHeader}}~~
	\|-		\|-
	~~! scope=col~~ \| ~~Version~~ \|\| ~~Release Date~~		\|[[Rodin Platform 3.2 Release Notes\|3.2]] \|\| 2015/09/22
	\|-		\|-
	\|[[Rodin Platform 3.1 Release Notes\|3.1]] \|\| 2014/12/17		\|[[Rodin Platform 3.1 Release Notes\|3.1]] \|\| 2014/12/17
Line 62:		Line 59:

	== Release Policy ==		== Release Policy ==
	* The Rodin platform is released ~~every 3 months~~.		* The Rodin platform is released on an irregular basis.
	* The code is frozen during the 2 weeks preceding each release.		* The code is frozen during the 2 weeks preceding each release.
	* Each release is announced on the [[Mailing_lists \| Devel]] mailing list. Two days later, the information is broadcasted on the [[Mailing_lists \| Announce]] and [[Mailing_lists \| User]] mailing lists.		* Each release is announced on the [[Mailing_lists \| Devel]] mailing list. Two days later, the information is broadcasted on the [[Mailing_lists \| Announce]] and [[Mailing_lists \| User]] mailing lists.
Line 77:		Line 74:
	<nowiki>\| [[Image:My_plug-in_logo\|30px]] \|\| [[My plug-in info page link \| My plug-in]] \|\| version \|\| <span style="color:#FF0000">not maintained</span> \|\| \|\| contact address\|\| Additional notes</nowiki>		<nowiki>\| [[Image:My_plug-in_logo\|30px]] \|\| [[My plug-in info page link \| My plug-in]] \|\| version \|\| <span style="color:#FF0000">not maintained</span> \|\| \|\| contact address\|\| Additional notes</nowiki>
	* The compatibility is preserved upwardly throught model and proof upward compatibility. However, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).		* The compatibility is preserved upwardly throught model and proof upward compatibility. However, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).
	Also, only the latest version is maintained (i.e. there is no maintenance on old releases).		Also, only the latest version is maintained (i.e. there is no maintenance of old releases).

	[[Category:Rodin Platform Release Notes]]		[[Category:Rodin Platform Release Notes]]
	[[Category:Rodin Platform]]		[[Category:Rodin Platform]]
	[[Category:Release Notes]]		[[Category:Release Notes]]

imported>Nicolas: /* Current Release */

2018-02-20T18:24:30Z

Current Release

← Older revision		Revision as of 18:24, 20 February 2018
Line 2:		Line 2:

	== Current Release ==		== Current Release ==
	<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.2 Release Notes\|3.2]]. It has been published on ~~2015~~-06-22. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.~~2_Release_Notes~~ here]</p>		<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.4 Release Notes\|3.4]]. It has been published on 2018-02-21. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.4_Release_Notes here]</p>

	== Current plug-ins ==		== Current plug-ins ==

imported>Tommy: /* Previous Releases */

2015-06-22T20:41:05Z

Previous Releases

← Older revision		Revision as of 20:41, 22 June 2015
Line 21:		Line 21:
	\|-		\|-
	! scope=col \| Version \|\| Release Date		! scope=col \| Version \|\| Release Date
			\|-
			\|[[Rodin Platform 3.1 Release Notes\|3.1]] \|\| 2014/12/17
	\|-		\|-
	\|[[Rodin Platform 3.0 Release Notes\|3.0]] \|\| 2014/03/25		\|[[Rodin Platform 3.0 Release Notes\|3.0]] \|\| 2014/03/25

imported>Tommy: /* Upcoming Releases */

2015-06-22T20:39:51Z

Upcoming Releases

← Older revision		Revision as of 20:39, 22 June 2015
Line 13:		Line 13:
	! scope=col \| Version \|\| Scheduled Release Date		! scope=col \| Version \|\| Scheduled Release Date
	\|-		\|-
	\| [[Rodin Platform 3.2 Release Notes\|3.2]] \|\|		\| [[Rodin Platform 3.3 Release Notes\|3.3]] \|\|
	\|}		\|}