User contributions
From Event-B
Jump to navigationJump to search- 22:12, 30 September 2020 diff hist +64 m UML-B →Tutorials: remove i current
- 22:10, 30 September 2020 diff hist +2,738 N UML-B - Modelling a control system renamed to remove i current
- 22:09, 30 September 2020 diff hist +1 m UML-B →Guidelines
- 22:08, 30 September 2020 diff hist -1 m IUML-B Modelling a control system remove i current
- 22:03, 30 September 2020 diff hist +121 m Template:News add UML-B website current
- 21:56, 30 September 2020 diff hist -2 m UML-B
- 21:55, 30 September 2020 diff hist -4 m UML-B remove some i
- 21:53, 30 September 2020 diff hist +1,343 m UML-B move content of iUML-B page to this one
- 21:46, 30 September 2020 diff hist -386 m UML-B revised to remove old UML-B and link to new website
- 10:30, 14 September 2020 diff hist +15 m Rodin Platform 3.5.0 External Plug-ins →Rodin Update Site: update project diagram status
- 09:41, 14 September 2020 diff hist +60 m Rodin Platform 3.5.0 External Plug-ins →Rodin Update Site: fix icon for iUML-B and change status of Qualitativ probability
- 09:32, 14 September 2020 diff hist +243 m Rodin Platform 3.5.0 External Plug-ins →Rodin Update Site: checked CODA
- 09:19, 14 September 2020 diff hist +186 m Rodin Platform 3.5.0 External Plug-ins →Rodin Update Site: update some status and re-arrange
- 17:22, 11 September 2020 diff hist +559 m Rodin Platform 3.5.0 External Plug-ins →Southampton Releases Update Site: add scenario checker and prob support
- 17:16, 11 September 2020 diff hist +367 m Rodin Platform 3.5.0 External Plug-ins →Rodin Update Site: update some emails etc
- 17:01, 11 September 2020 diff hist +109 m Rodin Platform 3.5.0 External Plug-ins →Rodin Update Site: update entries on rodin update site
- 16:37, 11 September 2020 diff hist +5 m Rodin Platform 3.5.0 External Plug-ins →Southampton Releases Update Site: update versions, names and release dates
- 16:15, 11 September 2020 diff hist +297 m Rodin Platform 3.5.0 External Plug-ins →Southampton Releases Update Site: fix separate table for frameworks and fix versions and emails
- 16:04, 11 September 2020 diff hist +1,299 m Rodin Platform 3.5.0 External Plug-ins →Southampton Releases Update Site: add UML-B classdiagrams and frameworks
- 16:02, 11 September 2020 diff hist -1,299 m Rodin Platform 3.5.0 External Plug-ins →Rodin Update Site: remove soton plugins - classdiagrams and frameworks