Rodin 3.0 Plug-in Migration Guide: Revision history

14 February 2014

• curprev 16:2516:25, 14 February 2014‎ imported>Tommy‎ m 16,982 bytes 0‎ →‎Migration instructions
• curprev 16:2516:25, 14 February 2014‎ imported>Tommy‎ m 16,982 bytes +286‎ →‎Rodin Core Plug-ins

27 January 2014

• curprev 14:0614:06, 27 January 2014‎ imported>Nicolas‎ m 16,696 bytes −674‎ →‎Rodin Keyboard Plug-ins
• curprev 14:0414:04, 27 January 2014‎ imported>Nicolas‎ m 17,370 bytes 0‎ →‎A bit of background
• curprev 10:0310:03, 27 January 2014‎ imported>Nicolas‎ m 17,370 bytes 0‎ →‎Datatype Definition
• curprev 09:5809:58, 27 January 2014‎ imported>Nicolas‎ m 17,370 bytes 0‎ →‎Type Environments

14 January 2014

• curprev 18:4218:42, 14 January 2014‎ imported>Nicolas‎ m 17,370 bytes +3‎ →‎FormulaFactory and Proofs
• curprev 18:3818:38, 14 January 2014‎ imported>Nicolas‎ m 17,367 bytes +819‎ →‎FormulaFactory
• curprev 18:2318:23, 14 January 2014‎ imported>Nicolas‎ m 16,548 bytes +654‎ →‎Formula Factory
• curprev 18:0018:00, 14 January 2014‎ imported>Nicolas‎ m 15,894 bytes +667‎ →‎Sequent Prover
• curprev 16:5716:57, 14 January 2014‎ imported>Tommy‎ m 15,227 bytes +1‎ →‎New Action Rewrite Hypothesis
• curprev 16:5616:56, 14 January 2014‎ imported>Tommy‎ m 15,226 bytes +564‎ →‎New Action Rewrite Hypothesis
• curprev 11:3811:38, 14 January 2014‎ imported>Nicolas‎ m 14,662 bytes +200‎ →‎Sequent Prover

2 January 2014

• curprev 16:1916:19, 2 January 2014‎ imported>Tommy‎ m 14,462 bytes +674‎ No edit summary
• curprev 16:0616:06, 2 January 2014‎ imported>Tommy‎ m 13,788 bytes +52‎ No edit summary
• curprev 14:5714:57, 2 January 2014‎ imported>Tommy‎ m 13,736 bytes +14‎ →‎Event-B PP Plug-in
• curprev 14:5514:55, 2 January 2014‎ imported>Tommy‎ m 13,722 bytes −125‎ →‎Event-B PP Plug-in
• curprev 14:5414:54, 2 January 2014‎ imported>Tommy‎ m 13,847 bytes +221‎ No edit summary
• curprev 14:4714:47, 2 January 2014‎ imported>Tommy‎ m 13,626 bytes +29‎ →‎Formula Factories
• curprev 14:4614:46, 2 January 2014‎ imported>Tommy‎ m 13,597 bytes +124‎ →‎Formula Factories

5 September 2013

• curprev 12:5312:53, 5 September 2013‎ imported>Nicolas‎ m 13,473 bytes 0‎ No edit summary

4 September 2013

• curprev 09:3109:31, 4 September 2013‎ imported>Tommy‎ m 13,473 bytes 0‎ →‎Migration instructions
• curprev 09:3009:30, 4 September 2013‎ imported>Tommy‎ m 13,473 bytes +8‎ →‎A bit of background
• curprev 09:2909:29, 4 September 2013‎ imported>Tommy‎ m 13,465 bytes +1,735‎ →‎Rodin Core Plug-in

3 September 2013

• curprev 16:1416:14, 3 September 2013‎ imported>Tommy‎ m 11,730 bytes +22‎ →‎A bit of background
• curprev 16:1316:13, 3 September 2013‎ imported>Tommy‎ m 11,708 bytes +13‎ →‎A bit of background
• curprev 16:1216:12, 3 September 2013‎ imported>Tommy‎ m 11,695 bytes −18‎ →‎A bit of background
• curprev 16:1216:12, 3 September 2013‎ imported>Tommy‎ m 11,713 bytes +4‎ →‎Rodin Core Plug-in
• curprev 16:1116:11, 3 September 2013‎ imported>Tommy‎ m 11,709 bytes −7‎ →‎Migration instructions
• curprev 16:0516:05, 3 September 2013‎ imported>Tommy‎ 11,716 bytes +4‎ →‎Migration instructions
• curprev 16:0516:05, 3 September 2013‎ imported>Tommy‎ m 11,712 bytes +1,492‎ →‎Rodin Core Plug-in

2 September 2013

• curprev 17:1017:10, 2 September 2013‎ imported>Tommy‎ m 10,220 bytes +647‎ →‎Rodin Core Plug-in
• curprev 16:4616:46, 2 September 2013‎ imported>Tommy‎ m 9,573 bytes +456‎ →‎Rodin Core Plug-in

30 August 2013

• curprev 16:2916:29, 30 August 2013‎ imported>Laurent‎ 9,117 bytes +120‎ No edit summary

25 March 2013

• curprev 16:2316:23, 25 March 2013‎ imported>Vinmont‎ 8,997 bytes +3,061‎ No edit summary

13 February 2013

• curprev 09:3309:33, 13 February 2013‎ imported>Vinmont‎ 5,936 bytes 0‎ →‎Formula Factories

12 February 2013

• curprev 18:0818:08, 12 February 2013‎ imported>Laurent‎ 5,936 bytes +1,296‎ →‎AST Library: add cache and formula factories

18 December 2012

• curprev 10:4510:45, 18 December 2012‎ imported>Laurent‎ 4,640 bytes +237‎ Add section for Sequent Prover
• curprev 10:3810:38, 18 December 2012‎ imported>Laurent‎ m 4,403 bytes +71‎ →‎Type Environments: Use class template
• curprev 10:3310:33, 18 December 2012‎ imported>Laurent‎ m 4,332 bytes −265‎ →‎AST Library

17 December 2012

• curprev 10:5510:55, 17 December 2012‎ imported>Vinmont‎ 4,597 bytes −13‎ →‎AST Library
• curprev 10:4710:47, 17 December 2012‎ imported>Vinmont‎ 4,610 bytes +3,888‎ →‎AST Library

14 December 2012

• curprev 17:1317:13, 14 December 2012‎ imported>Laurent‎ 722 bytes +722‎ Start new page