Getting Started: Revision history

26 November 2010

• curprev 12:4412:44, 26 November 2010‎ imported>Laurent‎ m 27 bytes −4‎ Fixed double redirect.

26 March 2010

• curprev 09:5409:54, 26 March 2010‎ imported>Jrloria‎ 31 bytes −729‎ merged to How To Contribute

28 May 2009

• curprev 10:3310:33, 28 May 2009‎ imported>Jrloria‎ 760 bytes +23‎ No edit summary

10 November 2008

• curprev 10:5310:53, 10 November 2008‎ imported>Mathieu‎ m 737 bytes +35‎ No edit summary

30 October 2008

• curprev 14:2414:24, 30 October 2008‎ imported>Mathieu‎ m 702 bytes −48‎ link
• curprev 13:4813:48, 30 October 2008‎ imported>Mathieu‎ m 750 bytes +330‎ Add link to some existing pages
• curprev 13:4213:42, 30 October 2008‎ imported>Mathieu‎ m 420 bytes +65‎ How to access Proof Obligations

10 September 2008

• curprev 21:2621:26, 10 September 2008‎ imported>Mathieu‎ m 355 bytes −1‎ Robot: Changing Category:Developer Documentation

10 July 2008

• curprev 10:5610:56, 10 July 2008‎ imported>Mathieu‎ m 356 bytes 0‎ typo
• curprev 10:5610:56, 10 July 2008‎ imported>Mathieu‎ m 356 bytes +67‎ No edit summary
• curprev 10:5010:50, 10 July 2008‎ imported>WikiSysop‎ 289 bytes −46‎ No edit summary
• curprev 10:4910:49, 10 July 2008‎ imported>WikiSysop‎ 335 bytes +46‎ No edit summary
• curprev 10:3010:30, 10 July 2008‎ imported>Colin‎ 289 bytes −53‎ No edit summary
• curprev 10:2710:27, 10 July 2008‎ imported>Colin‎ 342 bytes +53‎ No edit summary
• curprev 10:2410:24, 10 July 2008‎ imported>Colin‎ 289 bytes −54‎ No edit summary
• curprev 10:2310:23, 10 July 2008‎ imported>Colin‎ 343 bytes +51‎ No edit summary

8 July 2008

• curprev 15:4215:42, 8 July 2008‎ imported>Colin‎ 292 bytes +10‎ No edit summary
• curprev 15:4015:40, 8 July 2008‎ imported>Colin‎ 282 bytes +282‎ New page: This section illustrates some of the things you are likely to want to do in your plug-ins if you are extending the Rodin platform. How to read Rodin projects and elements programmatically...