How To Contribute: Revision history

18 May 2010

• curprev 09:5109:51, 18 May 2010‎ imported>Jrloria‎ 27 bytes −4,317‎ content merged into Developer FAQ

26 March 2010

• curprev 11:1211:12, 26 March 2010‎ imported>Jrloria‎ 4,344 bytes +70‎ →‎How can I access or create Rodin elements like projects, components or proofs?
• curprev 10:0310:03, 26 March 2010‎ imported>Jrloria‎ 4,274 bytes +2‎ No edit summary
• curprev 09:5509:55, 26 March 2010‎ imported>Jrloria‎ 4,272 bytes −32‎ No edit summary
• curprev 09:5409:54, 26 March 2010‎ imported>Jrloria‎ 4,304 bytes −24‎ →‎How can I access or create Rodin elements like projects, components or proofs?
• curprev 09:5109:51, 26 March 2010‎ imported>Jrloria‎ 4,328 bytes +638‎ →‎How can I access or create Rodin elements like projects, components or proofs?: merging from Getting Started

11 June 2009

• curprev 13:3713:37, 11 June 2009‎ imported>Wohuai‎ 3,690 bytes −1‎ →‎How do I launch the Rodin Platform from Eclipse?
• curprev 13:3613:36, 11 June 2009‎ imported>Wohuai‎ 3,691 bytes +553‎ →‎How do I launch the Rodin Platform from Eclipse?
• curprev 13:1213:12, 11 June 2009‎ imported>Wohuai‎ 3,138 bytes +60‎ No edit summary

4 June 2009

• curprev 08:3608:36, 4 June 2009‎ imported>Wohuai‎ 3,078 bytes +10‎ No edit summary

18 May 2009

• curprev 14:4114:41, 18 May 2009‎ imported>Laurent‎ m 3,068 bytes +1‎ →‎How do I report a bug or a feature request?

1 April 2009

• curprev 12:1312:13, 1 April 2009‎ imported>Laurent‎ 3,067 bytes +1,215‎ →‎How do I get current source code?: Put a procedure for retrieving sources from Subversion

17 March 2009

• curprev 13:3513:35, 17 March 2009‎ imported>Mathieu‎ m 1,852 bytes +1‎ →‎What are the main community channels?: irc://irc.freenode.net
• curprev 09:1309:13, 17 March 2009‎ imported>Mathieu‎ m 1,851 bytes +50‎ →‎What are the main community channels?: the ''#rodin'' channel on irc://irc.freenode.fr

13 March 2009

• curprev 19:0619:06, 13 March 2009‎ imported>Laurent‎ 1,801 bytes +128‎ →‎How do I get current source code?: Switch to Subversion

3 March 2009

• curprev 21:5521:55, 3 March 2009‎ imported>Mathieu‎ m 1,673 bytes +460‎ What are the main community channels?

24 February 2009

• curprev 10:1310:13, 24 February 2009‎ imported>Mathieu‎ m 1,213 bytes +34‎ →‎How do I report a bug or a feature request?: .metadata/.log under workspace

23 February 2009

• curprev 10:2210:22, 23 February 2009‎ imported>Mathieu‎ m 1,179 bytes +178‎ →‎How do I report a bug or a feature request?

10 November 2008

• curprev 10:3310:33, 10 November 2008‎ imported>Mathieu‎ m 1,001 bytes +8‎ →‎How do I report a bug or a feature request?
• curprev 10:3310:33, 10 November 2008‎ imported>Mathieu‎ m 993 bytes +113‎ →‎How do I propose a patch?: how to submit patches.

30 October 2008

• curprev 13:5113:51, 30 October 2008‎ imported>Mathieu‎ m 880 bytes +152‎ How can I access or create Rodin elements like projects, components or proofs?

30 September 2008

• curprev 13:5313:53, 30 September 2008‎ imported>Mathieu‎ m 728 bytes +5‎ →‎How do I report a bug or a suggestion
• curprev 13:5313:53, 30 September 2008‎ imported>Mathieu‎ m 723 bytes +5‎ →‎How do I get current source code
• curprev 13:5213:52, 30 September 2008‎ imported>Mathieu‎ m 718 bytes +362‎ →‎How do I get current source code: sourceforge CVS
• curprev 13:4713:47, 30 September 2008‎ imported>Mathieu‎ m 356 bytes +356‎ How to report a bug or a suggestion