User contributions
From Event-B
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:48, 20 June 2012 (diff | hist) . . (0) . . ADVANCE D3.2 General Platform Maintenance (→Overview)
- 02:20, 22 March 2012 (diff | hist) . . (+1,362) . . m D45 General Platform Maintenance (→UML-B)
- 01:34, 22 March 2012 (diff | hist) . . (+572) . . m D45 General Platform Maintenance (→UML-B)
- 00:55, 22 March 2012 (diff | hist) . . (+306) . . m D45 General Platform Maintenance (→Overview)
- 12:47, 18 May 2011 (diff | hist) . . (+133) . . Rodin Plug-ins (→Experimental)
- 11:47, 18 May 2011 (diff | hist) . . (+516) . . Event-B Statemachines
- 11:21, 18 May 2011 (diff | hist) . . (+753) . . Event-B Statemachines
- 14:27, 11 May 2011 (diff | hist) . . (+1,076) . . Event-B Statemachines
- 11:54, 11 May 2011 (diff | hist) . . (-10) . . Event-B Statemachines
- 11:51, 11 May 2011 (diff | hist) . . (+1,158) . . Event-B Statemachines
- 10:58, 11 May 2011 (diff | hist) . . (+6) . . Event-B Statemachines
- 10:54, 11 May 2011 (diff | hist) . . (+2,026) . . Event-B Statemachines
- 10:52, 11 May 2011 (diff | hist) . . (0) . . N File:Statemachine markers.png (current)
- 10:52, 11 May 2011 (diff | hist) . . (0) . . File:Statemachine editor.png (uploaded a new version of "Image:Statemachine editor.png") (current)
- 12:55, 10 May 2011 (diff | hist) . . (+12) . . Event-B Statemachines
- 11: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 ...)
- 10:13, 10 May 2011 (diff | hist) . . (0) . . N File:Statemachine editor.png
- 10:10, 10 May 2011 (diff | hist) . . (0) . . N File:New statemachine.png (current)
- 17:42, 28 April 2011 (diff | hist) . . (+15) . . N File:IUMLB big.png (Big iUML-B icon) (current)
- 17:39, 28 April 2011 (diff | hist) . . (+11) . . N File:IUMLB.png (iUML-B icon) (current)
- 19:41, 15 February 2011 (diff | hist) . . (+232) . . Rodin Platform 2.1 External Plug-ins
- 16:45, 11 February 2011 (diff | hist) . . (+70) . . Rodin Platform 2.1 External Plug-ins
- 16:42, 11 February 2011 (diff | hist) . . (+36) . . Rodin Platform 2.1 External Plug-ins
- 16:37, 11 February 2011 (diff | hist) . . (+2) . . Rodin Platform 2.1 External Plug-ins
- 16:24, 26 November 2010 (diff | hist) . . (+1,319) . . D32 Mathematical Extensions
- 14:32, 26 November 2010 (diff | hist) . . (+786) . . D32 Mathematical Extensions
- 11:39, 26 November 2010 (diff | hist) . . (0) . . D32 UML-B
- 10:24, 26 November 2010 (diff | hist) . . (+13) . . D32 Teamwork
- 17:54, 25 November 2010 (diff | hist) . . (-5) . . D32 Teamwork
- 17:53, 25 November 2010 (diff | hist) . . (+27) . . D32 Teamwork
- 17:39, 25 November 2010 (diff | hist) . . (+1,774) . . D32 Teamwork
- 15:52, 25 November 2010 (diff | hist) . . (+29) . . D32 UML-B
- 15:50, 25 November 2010 (diff | hist) . . (+1,728) . . D32 UML-B
- 22:05, 18 November 2010 (diff | hist) . . (+60) . . Rodin Workshop 2010
- 22:03, 18 November 2010 (diff | hist) . . (0) . . N File:Dusseldorf SM Animation.pdf (current)
- 11:38, 16 November 2010 (diff | hist) . . (+130) . . Project Diagram (current)
- 16:13, 15 November 2010 (diff | hist) . . (+100) . . Rodin Plug-ins
- 15:33, 15 November 2010 (diff | hist) . . (0) . . N File:Project diagram icon s.png (current)
- 15:32, 15 November 2010 (diff | hist) . . (+12) . . Project Diagram
- 15:23, 15 November 2010 (diff | hist) . . (+36) . . Project Diagram
- 15:09, 15 November 2010 (diff | hist) . . (0) . . N File:Project diagram icon.png (current)
- 12: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...)
- 12:41, 15 November 2010 (diff | hist) . . (0) . . N File:Project diagram.png (current)
- 12:26, 15 November 2010 (diff | hist) . . (0) . . N File:Show diagram.png (current)
- 13:07, 21 July 2010 (diff | hist) . . (-56) . . Records Extension (→Proving With Records) (current)
- 13:20, 20 July 2010 (diff | hist) . . (+78) . . Records Extension (→Proving With Records)
- 10:35, 19 July 2010 (diff | hist) . . (+2,008) . . Records Extension
- 15: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)
- 15:07, 10 May 2010 (diff | hist) . . (+26) . . N File:ProjectViewMenu.png (Event-B Explorer view menu)
- 10:47, 10 May 2010 (diff | hist) . . (+152) . . Rodin Tutorials
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)