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
- 11:01, 30 May 2020 diff hist +234 m Generic Event-B EMF extensions →Contributing new EMF element types to the Navigator view current
- 08:49, 30 May 2020 diff hist +2,169 m Generic Event-B EMF extensions →Persistence
- 08:05, 30 May 2020 diff hist +111 m Generic Event-B EMF extensions →Contributing new EMF element types to the Navigator view
- 07:58, 30 May 2020 diff hist +618 m Generic Event-B EMF extensions →Navigator
- 06:54, 30 May 2020 diff hist +401 m Generic Event-B EMF extensions →Generator
- 06:48, 30 May 2020 diff hist +40 m Generic Event-B EMF extensions →Refinement
- 13:04, 19 May 2020 diff hist +6 m EMF framework for Event-B →Structure Editor current
- 12:57, 19 May 2020 diff hist +20 m Template:Main Page/Community add postponed Rodin workshop until 2021