Rodin Platform 3.5.0 External Plug-ins: Revision history

1 April 2022

• curprev 13:5213:52, 1 April 2022‎ Guillaume talk contribs‎ 9,592 bytes −1‎ Theory plug-in release 4.0.4

14 January 2022

• curprev 17:1417:14, 14 January 2022‎ Guillaume talk contribs‎ 9,593 bytes +2‎ SMT Solvers plug-in 1.5.0

29 September 2021

• curprev 13:1613:16, 29 September 2021‎ Guillaume talk contribs‎ 9,591 bytes +2‎ Theory plug-in release 4.0.3

4 June 2021

• curprev 12:2012:20, 4 June 2021‎ Guillaume talk contribs‎ 9,589 bytes 0‎ →‎Rodin Update Site

14 May 2021

• curprev 10:1310:13, 14 May 2021‎ Basheer talk contribs‎ 9,589 bytes 0‎ →‎Rodin Update Site
• curprev 10:1110:11, 14 May 2021‎ Basheer talk contribs‎ 9,589 bytes −33‎ →‎Rodin Update Site

10 February 2021

• curprev 15:4515:45, 10 February 2021‎ Guillaume talk contribs‎ 9,622 bytes +7‎ No edit summary
• curprev 14:2014:20, 10 February 2021‎ Laurent talk contribs‎ 9,615 bytes −35‎ →‎Atelier B Update Site

22 January 2021

• curprev 09:3009:30, 22 January 2021‎ Son talk contribs‎ m 9,650 bytes 0‎ →‎Southampton Releases Update Site
• curprev 09:3009:30, 22 January 2021‎ Son talk contribs‎ m 9,650 bytes 0‎ →‎Southampton Releases Update Site

14 September 2020

• curprev 10:3010:30, 14 September 2020‎ Colin talk contribs‎ m 9,650 bytes +15‎ →‎Rodin Update Site: update project diagram status
• curprev 09:4109:41, 14 September 2020‎ Colin talk contribs‎ m 9,635 bytes +60‎ →‎Rodin Update Site: fix icon for iUML-B and change status of Qualitativ probability
• curprev 09:3209:32, 14 September 2020‎ Colin talk contribs‎ m 9,575 bytes +243‎ →‎Rodin Update Site: checked CODA
• curprev 09:1909:19, 14 September 2020‎ Colin talk contribs‎ m 9,332 bytes +186‎ →‎Rodin Update Site: update some status and re-arrange

11 September 2020

• curprev 17:2217:22, 11 September 2020‎ Colin talk contribs‎ m 9,146 bytes +559‎ →‎Southampton Releases Update Site: add scenario checker and prob support
• curprev 17:1617:16, 11 September 2020‎ Colin talk contribs‎ m 8,587 bytes +367‎ →‎Rodin Update Site: update some emails etc
• curprev 17:0117:01, 11 September 2020‎ Colin talk contribs‎ m 8,220 bytes +109‎ →‎Rodin Update Site: update entries on rodin update site
• curprev 16:3716:37, 11 September 2020‎ Colin talk contribs‎ m 8,111 bytes +5‎ →‎Southampton Releases Update Site: update versions, names and release dates
• curprev 16:1516:15, 11 September 2020‎ Colin talk contribs‎ m 8,106 bytes +297‎ →‎Southampton Releases Update Site: fix separate table for frameworks and fix versions and emails
• curprev 16:0416:04, 11 September 2020‎ Colin talk contribs‎ m 7,809 bytes +1,299‎ →‎Southampton Releases Update Site: add UML-B classdiagrams and frameworks
• curprev 16:0216:02, 11 September 2020‎ Colin talk contribs‎ m 6,510 bytes −1,299‎ →‎Rodin Update Site: remove soton plugins - classdiagrams and frameworks
• curprev 15:3015:30, 11 September 2020‎ Laurent talk contribs‎ 7,809 bytes +12‎ →‎Atelier B Update Site
• curprev 13:1213:12, 11 September 2020‎ Laurent talk contribs‎ 7,797 bytes +1‎ No edit summary
• curprev 13:1013:10, 11 September 2020‎ Laurent talk contribs‎ 7,796 bytes 0‎ No edit summary
• curprev 09:4909:49, 11 September 2020‎ Son talk contribs‎ 7,796 bytes +14‎ No edit summary
• curprev 09:4509:45, 11 September 2020‎ Son talk contribs‎ 7,782 bytes 0‎ →‎Southampton Releases Update Site
• curprev 09:4509:45, 11 September 2020‎ Son talk contribs‎ 7,782 bytes +301‎ No edit summary
• curprev 09:1509:15, 11 September 2020‎ Laurent talk contribs‎ 7,481 bytes +7,481‎ Created page with "==== Rodin Update Site ==== Available from http://rodin-b-sharp.sourceforge.net/updates <!-- Please use one of the following templates for the Status column <span st..."