Details for Maintaining Main Rodin Update Site: Revision history

6 April 2012

• curprev 08:3308:33, 6 April 2012‎ imported>Tommy‎ m 39,475 bytes +17‎ →‎Rules to follow
• curprev 08:3208:32, 6 April 2012‎ imported>Tommy‎ m 39,458 bytes +1,767‎ →‎Rules to follow

24 October 2011

• curprev 13:5513:55, 24 October 2011‎ imported>Tommy‎ m 37,691 bytes −44‎ No edit summary
• curprev 13:5513:55, 24 October 2011‎ imported>Tommy‎ m 37,735 bytes +75‎ No edit summary
• curprev 13:5213:52, 24 October 2011‎ imported>Tommy‎ m 37,660 bytes +143‎ No edit summary
• curprev 13:5113:51, 24 October 2011‎ imported>Tommy‎ m 37,517 bytes +18,168‎ No edit summary
• curprev 13:3013:30, 24 October 2011‎ imported>Tommy‎ m 19,349 bytes +34‎ Updated categories

18 May 2011

• curprev 09:4709:47, 18 May 2011‎ imported>Colin‎ 19,315 bytes +1‎ No edit summary
• curprev 09:4609:46, 18 May 2011‎ imported>Colin‎ 19,314 bytes +297‎ No edit summary

6 April 2009

• curprev 14:0514:05, 6 April 2009‎ imported>Mathieu‎ m 19,017 bytes 0‎ No edit summary

11 December 2008

• curprev 22:2522:25, 11 December 2008‎ imported>Mathieu‎ m 19,017 bytes +32‎ Category:User Documentation

18 November 2008

• curprev 17:2317:23, 18 November 2008‎ imported>Colin‎ 18,985 bytes +161‎ No edit summary
• curprev 17:1317:13, 18 November 2008‎ imported>Colin‎ 18,824 bytes +18,824‎ New page: The Main Rodin update site is maintained on the sourceforge web pages for the rodin-b-sharp project. /htdocs/updates/site.xml See here for details on accessing sourceforge web pages:- htt...