User contributions for Colin

30 September 2020

• 22:1222:12, 30 September 2020 diff hist +64‎ m UML-B ‎ →‎Tutorials: remove i current
• 22:1022:10, 30 September 2020 diff hist +2,738‎ N UML-B - Modelling a control system ‎ renamed to remove i current
• 22:0922:09, 30 September 2020 diff hist +1‎ m UML-B ‎ →‎Guidelines
• 22:0822:08, 30 September 2020 diff hist −1‎ m IUML-B Modelling a control system ‎ remove i current
• 22:0322:03, 30 September 2020 diff hist +121‎ m Template:News ‎ add UML-B website current
• 21:5621:56, 30 September 2020 diff hist −2‎ m UML-B ‎No edit summary
• 21:5521:55, 30 September 2020 diff hist −4‎ m UML-B ‎ remove some i
• 21:5321:53, 30 September 2020 diff hist +1,343‎ m UML-B ‎ move content of iUML-B page to this one
• 21:4621:46, 30 September 2020 diff hist −386‎ m UML-B ‎ revised to remove old UML-B and link to new website

14 September 2020

• 10:3010:30, 14 September 2020 diff hist +15‎ m Rodin Platform 3.5.0 External Plug-ins ‎ →‎Rodin Update Site: update project diagram status
• 09:4109: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:3209:32, 14 September 2020 diff hist +243‎ m Rodin Platform 3.5.0 External Plug-ins ‎ →‎Rodin Update Site: checked CODA
• 09:1909: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

11 September 2020

• 17:2217: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:1617:16, 11 September 2020 diff hist +367‎ m Rodin Platform 3.5.0 External Plug-ins ‎ →‎Rodin Update Site: update some emails etc
• 17:0117: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:3716: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:1516: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:0416: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:0216: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

30 May 2020

• 11:0111:01, 30 May 2020 diff hist +234‎ m Generic Event-B EMF extensions ‎ →‎Contributing new EMF element types to the Navigator view current
• 08:4908:49, 30 May 2020 diff hist +2,169‎ m Generic Event-B EMF extensions ‎ →‎Persistence
• 08:0508:05, 30 May 2020 diff hist +111‎ m Generic Event-B EMF extensions ‎ →‎Contributing new EMF element types to the Navigator view
• 07:5807:58, 30 May 2020 diff hist +618‎ m Generic Event-B EMF extensions ‎ →‎Navigator
• 06:5406:54, 30 May 2020 diff hist +401‎ m Generic Event-B EMF extensions ‎ →‎Generator
• 06:4806:48, 30 May 2020 diff hist +40‎ m Generic Event-B EMF extensions ‎ →‎Refinement

19 May 2020

• 13:0413:04, 19 May 2020 diff hist +6‎ m EMF framework for Event-B ‎ →‎Structure Editor current
• 12:5712:57, 19 May 2020 diff hist +20‎ m Template:Main Page/Community ‎ add postponed Rodin workshop until 2021