IUML-B: Revision history

30 June 2016

• curprev 17:3417:34, 30 June 2016‎ imported>Colin‎ 1,240 bytes −21‎ →‎Lectures

26 June 2015

• curprev 14:5414:54, 26 June 2015‎ imported>Colin‎ 1,261 bytes +116‎ No edit summary

15 December 2014

• curprev 13:3513:35, 15 December 2014‎ imported>Colin‎ 1,145 bytes +5‎ →‎Lectures
• curprev 13:2913:29, 15 December 2014‎ imported>Colin‎ 1,140 bytes −55‎ →‎Lectures
• curprev 13:2613:26, 15 December 2014‎ imported>Colin‎ 1,195 bytes +8‎ →‎Lectures
• curprev 13:1413:14, 15 December 2014‎ imported>Colin‎ 1,187 bytes +340‎ →‎Tutorials

10 December 2012

• curprev 15:4715:47, 10 December 2012‎ imported>Colin‎ 847 bytes +4‎ No edit summary
• curprev 15:4715:47, 10 December 2012‎ imported>Colin‎ 843 bytes +1‎ →‎Tutorials
• curprev 15:4615:46, 10 December 2012‎ imported>Colin‎ 842 bytes +182‎ No edit summary
• curprev 15:0915:09, 10 December 2012‎ imported>Colin‎ 660 bytes −77‎ No edit summary
• curprev 15:0915:09, 10 December 2012‎ imported>Colin‎ 737 bytes +737‎ Created page with "iUML-B is a collection of diagrammatic editors for Event-B. The diagrams are contained within the machines they contribute to and are used to elaborate the machine and its con..."