User contributions
From Event-B
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:51, 25 February 2015 (diff | hist) . . (-5) . . Rodin Platform 3.1.0 External Plug-ins (→Other Update Sites: updated email address of Alin Stefanescu)
- 14:50, 15 July 2013 (diff | hist) . . (-5) . . Rodin Platform 2.8.0 External Plug-ins (→Other Update Sites)
- 09:17, 18 November 2012 (diff | hist) . . (-3) . . Rodin Platform 2.7.0 External Plug-ins (→Other Update Sites)
- 12:42, 18 May 2012 (diff | hist) . . (-4) . . m Rodin Platform 2.5.0 External Plug-ins (→Other Update Sites)
- 06:45, 6 April 2012 (diff | hist) . . (-4) . . m MBT plugin (→Installing) (current)
- 13:15, 4 April 2012 (diff | hist) . . (+204) . . m MBT plugin
- 08:51, 30 March 2012 (diff | hist) . . (-14) . . D45 Model-based testing (→Available Documentation)
- 08:05, 14 March 2012 (diff | hist) . . (+137) . . m D45 Model-based testing (→Available Documentation)
- 11:07, 9 March 2012 (diff | hist) . . (-3) . . Rodin Platform 2.4 External Plug-ins (→Other Update Sites)
- 11:03, 29 February 2012 (diff | hist) . . (+68) . . m D45 Model-based testing
- 10:38, 29 February 2012 (diff | hist) . . (+2,533) . . D45 Model-based testing
- 17:10, 24 February 2012 (diff | hist) . . (+40) . . m D45 Model-based testing
- 17:09, 24 February 2012 (diff | hist) . . (+6) . . m D45 Model-based testing
- 17:09, 24 February 2012 (diff | hist) . . (+1,253) . . m D45 Model-based testing
- 12:42, 24 February 2012 (diff | hist) . . (-271) . . m D45 Model-based testing (→Available Documentation)
- 12:41, 24 February 2012 (diff | hist) . . (0) . . m D45 Model-based testing (→Available Documentation)
- 12:40, 24 February 2012 (diff | hist) . . (+1,601) . . m D45 Model-based testing (→Available Documentation)
- 12:19, 24 February 2012 (diff | hist) . . (+1,374) . . m D45 Model-based testing (→Overview)
- 11:30, 24 February 2012 (diff | hist) . . (-176) . . m MBT plugin (→Displaying the generated cover automaton)
- 11:29, 24 February 2012 (diff | hist) . . (+209) . . m MBT plugin (→Displaying the generated cover automaton)
- 11:25, 24 February 2012 (diff | hist) . . (+3) . . m MBT plugin (→Short theoretical aspects)
- 11:25, 24 February 2012 (diff | hist) . . (-5) . . m MBT plugin
- 10:05, 24 February 2012 (diff | hist) . . (+6) . . m D45 Introduction
- 05:55, 2 February 2012 (diff | hist) . . (-5) . . m Rodin Platform 2.4 External Plug-ins (→Other Update Sites)
- 16:46, 26 January 2012 (diff | hist) . . (-5) . . m Rodin Platform 2.4 External Plug-ins (→Other Update Sites)
- 19:15, 7 November 2011 (diff | hist) . . (+4) . . m Rodin Platform 2.3 External Plug-ins (→Other Update Sites)
- 13:44, 13 October 2011 (diff | hist) . . (0) . . m Rodin Platform 2.3 External Plug-ins (→Other Update Sites)
- 07:18, 12 October 2011 (diff | hist) . . (+108) . . m Rodin Plug-ins (→Experimental)
- 07:13, 12 October 2011 (diff | hist) . . (-4) . . m Rodin Platform 2.3 External Plug-ins (→Other Update Sites)
- 20:36, 10 July 2011 (diff | hist) . . (-1) . . m MBT plugin (→Disclaimer)
- 20:36, 10 July 2011 (diff | hist) . . (-42) . . m MBT plugin (→Short theoretical aspects)
- 16:06, 8 July 2011 (diff | hist) . . (-22) . . m Rodin Platform 2.2 External Plug-ins (→Other Update Sites)
- 18:34, 30 June 2011 (diff | hist) . . (+1,005) . . N MBT plugin (New page: {| align="right" | __TOC__ |} MBT (Model-based testing) plugin ... [TODO] ==Installing == The MBT plugin relies on Rodin release 2.0 or newer and ProB plugin 2.2 or newer. The followin...)
- 18:26, 30 June 2011 (diff | hist) . . (+251) . . Rodin Platform 2.2 External Plug-ins (→Other Updates Sites)
- 16:13, 23 February 2011 (diff | hist) . . (+3) . . B2Latex
- 12:43, 30 November 2010 (diff | hist) . . (+1) . . D32 Model-based testing (→Planning)
- 12:42, 30 November 2010 (diff | hist) . . (+1) . . D32 Model-based testing (→Choices / Decisions)
- 09:21, 29 November 2010 (diff | hist) . . (0) . . D32 Model-based testing (→Planning)
- 09:20, 29 November 2010 (diff | hist) . . (+60) . . D32 Model-based testing
- 09:12, 29 November 2010 (diff | hist) . . (0) . . D32 Model-based testing (→Overview)
- 09:04, 29 November 2010 (diff | hist) . . (+159) . . D32 Model-based testing (→Planning)
- 09:02, 29 November 2010 (diff | hist) . . (+1,092) . . D32 Model-based testing (→Choices / Decisions)
- 08:42, 29 November 2010 (diff | hist) . . (+501) . . D32 Model-based testing (→Choices / Decisions)
- 08:26, 29 November 2010 (diff | hist) . . (+84) . . D32 Model-based testing (→Choices / Decisions)
- 08:22, 29 November 2010 (diff | hist) . . (+899) . . D32 Model-based testing (→Choices/Decisions)
- 07:13, 29 November 2010 (diff | hist) . . (0) . . D32 Model-based testing (→Available Documentation)
- 07:13, 29 November 2010 (diff | hist) . . (+157) . . D32 Model-based testing (→Available Documentation)
- 07:03, 29 November 2010 (diff | hist) . . (+176) . . D32 Model-based testing (→Planning)
- 06:55, 29 November 2010 (diff | hist) . . (+405) . . D32 Model-based testing (→Available Documentation)
- 20:25, 28 November 2010 (diff | hist) . . (+523) . . D32 Model-based testing (→Motivations)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)