User contributions
From Event-B
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:48, 20 June 2012 (diff | hist) . . (0) . . ADVANCE D3.2 General Platform Maintenance (→Overview)
- 03:20, 22 March 2012 (diff | hist) . . (+1,362) . . m D45 General Platform Maintenance (→UML-B)
- 02:34, 22 March 2012 (diff | hist) . . (+572) . . m D45 General Platform Maintenance (→UML-B)
- 01:55, 22 March 2012 (diff | hist) . . (+306) . . m D45 General Platform Maintenance (→Overview)
- 13:47, 18 May 2011 (diff | hist) . . (+133) . . Rodin Plug-ins (→Experimental)
- 12:47, 18 May 2011 (diff | hist) . . (+516) . . Event-B Statemachines
- 12:21, 18 May 2011 (diff | hist) . . (+753) . . Event-B Statemachines
- 15:27, 11 May 2011 (diff | hist) . . (+1,076) . . Event-B Statemachines
- 12:54, 11 May 2011 (diff | hist) . . (-10) . . Event-B Statemachines
- 12:51, 11 May 2011 (diff | hist) . . (+1,158) . . Event-B Statemachines
- 11:58, 11 May 2011 (diff | hist) . . (+6) . . Event-B Statemachines
- 11:54, 11 May 2011 (diff | hist) . . (+2,026) . . Event-B Statemachines
- 11:52, 11 May 2011 (diff | hist) . . (0) . . N File:Statemachine markers.png (current)
- 11:52, 11 May 2011 (diff | hist) . . (0) . . File:Statemachine editor.png (uploaded a new version of "Image:Statemachine editor.png") (current)
- 13:55, 10 May 2011 (diff | hist) . . (+12) . . Event-B Statemachines
- 12:30, 10 May 2011 (diff | hist) . . (+4,637) . . N Event-B Statemachines (New page: frame|left ==Overview== Event-B Statemachines Plug-in is part of the iUML-B experimental tool that focuses on UML-B and Event-B integration. The plug-in provides ...)
- 11:13, 10 May 2011 (diff | hist) . . (0) . . N File:Statemachine editor.png
- 11:10, 10 May 2011 (diff | hist) . . (0) . . N File:New statemachine.png (current)
- 18:42, 28 April 2011 (diff | hist) . . (+15) . . N File:IUMLB big.png (Big iUML-B icon) (current)
- 18:39, 28 April 2011 (diff | hist) . . (+11) . . N File:IUMLB.png (iUML-B icon) (current)
- 20:41, 15 February 2011 (diff | hist) . . (+232) . . Rodin Platform 2.1 External Plug-ins
- 17:45, 11 February 2011 (diff | hist) . . (+70) . . Rodin Platform 2.1 External Plug-ins
- 17:42, 11 February 2011 (diff | hist) . . (+36) . . Rodin Platform 2.1 External Plug-ins
- 17:37, 11 February 2011 (diff | hist) . . (+2) . . Rodin Platform 2.1 External Plug-ins
- 17:24, 26 November 2010 (diff | hist) . . (+1,319) . . D32 Mathematical Extensions
- 15:32, 26 November 2010 (diff | hist) . . (+786) . . D32 Mathematical Extensions
- 12:39, 26 November 2010 (diff | hist) . . (0) . . D32 UML-B
- 11:24, 26 November 2010 (diff | hist) . . (+13) . . D32 Teamwork
- 18:54, 25 November 2010 (diff | hist) . . (-5) . . D32 Teamwork
- 18:53, 25 November 2010 (diff | hist) . . (+27) . . D32 Teamwork
- 18:39, 25 November 2010 (diff | hist) . . (+1,774) . . D32 Teamwork
- 16:52, 25 November 2010 (diff | hist) . . (+29) . . D32 UML-B
- 16:50, 25 November 2010 (diff | hist) . . (+1,728) . . D32 UML-B
- 23:05, 18 November 2010 (diff | hist) . . (+60) . . Rodin Workshop 2010
- 23:03, 18 November 2010 (diff | hist) . . (0) . . N File:Dusseldorf SM Animation.pdf (current)
- 12:38, 16 November 2010 (diff | hist) . . (+130) . . Project Diagram (current)
- 17:13, 15 November 2010 (diff | hist) . . (+100) . . Rodin Plug-ins
- 16:33, 15 November 2010 (diff | hist) . . (0) . . N File:Project diagram icon s.png (current)
- 16:32, 15 November 2010 (diff | hist) . . (+12) . . Project Diagram
- 16:23, 15 November 2010 (diff | hist) . . (+36) . . Project Diagram
- 16:09, 15 November 2010 (diff | hist) . . (0) . . N File:Project diagram icon.png (current)
- 13:54, 15 November 2010 (diff | hist) . . (+2,225) . . N Project Diagram (New page: ==Overview== Project Diagram Plug-in provides a visual representation of a Rodin project. This includes Event-B root components such as Machines and Contexts, and relationships between th...)
- 13:41, 15 November 2010 (diff | hist) . . (0) . . N File:Project diagram.png (current)
- 13:26, 15 November 2010 (diff | hist) . . (0) . . N File:Show diagram.png (current)
- 14:07, 21 July 2010 (diff | hist) . . (-56) . . Records Extension (→Proving With Records) (current)
- 14:20, 20 July 2010 (diff | hist) . . (+78) . . Records Extension (→Proving With Records)
- 11:35, 19 July 2010 (diff | hist) . . (+2,008) . . Records Extension
- 16:23, 10 May 2010 (diff | hist) . . (0) . . File:ProjectViewMenu.png (uploaded a new version of "Image:ProjectViewMenu.png": Event-B Explorer's toolbar menu) (current)
- 16:07, 10 May 2010 (diff | hist) . . (+26) . . N File:ProjectViewMenu.png (Event-B Explorer view menu)
- 11:47, 10 May 2010 (diff | hist) . . (+152) . . Rodin Tutorials
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
