Developer FAQ: Revision history

From Event-B

View logs for this page

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 13:1013:10, 31 January 2015‎ imported>Colin‎ 15,670 bytes +48‎ →‎I need to create a new file type. How do I know mu file extension isn't already used by another plugin?
curprev 13:0813:08, 31 January 2015‎ imported>Colin‎ 15,622 bytes +217‎ →‎I have compilation errors after having checked out the org.eventb.core.seqprover plug-in, what shall I do?

curprev 09:0509:05, 3 October 2014‎ imported>Nicolas‎ m 15,405 bytes +367‎ →‎How to setup an environment for plug-in development?

curprev 12:4312:43, 9 April 2014‎ imported>Laurent‎ 15,038 bytes +3,973‎ →‎How to contribute?: Core and plug-in development environments

curprev 17:3617:36, 22 May 2013‎ imported>Nicolas‎ 11,065 bytes −418‎ →‎How do I get current source code?: switch to Git
curprev 16:3416:34, 22 May 2013‎ imported>Nicolas‎ 11,483 bytes −873‎ →‎Installing the sources from Git in Eclipse
curprev 16:3116:31, 22 May 2013‎ imported>Nicolas‎ 12,356 bytes −7‎ →‎Installing the sources from Subversion in Eclipse: change section title

curprev 10:4010:40, 27 October 2011‎ imported>Ladenberger‎ 12,363 bytes −32‎ →‎How can I access or create Rodin elements like projects, components or proofs?
curprev 10:2910:29, 27 October 2011‎ imported>Ladenberger‎ 12,395 bytes +140‎ →‎How can I access or create Rodin elements like projects, components or proofs?

curprev 08:2208:22, 30 March 2011‎ imported>Wohuai‎ m 12,255 bytes +89‎ No edit summary
curprev 08:0508:05, 30 March 2011‎ imported>Tommy‎ m 12,166 bytes +130‎ →‎I have compilation errors after having checked out the org.eventb.core.seqprover plug-in, what shall I do?
curprev 07:5507:55, 30 March 2011‎ imported>Tommy‎ m 12,036 bytes +6‎ →‎I have compilation errors after checking out the org.eventb.core.seqprover plug-in, what shall I do?
curprev 07:5407:54, 30 March 2011‎ imported>Tommy‎ m 12,030 bytes +846‎ No edit summary

curprev 09:5109:51, 18 May 2010‎ imported>Jrloria‎ 11,184 bytes +4,250‎ →‎How to contribute?: merging How to contribute here

curprev 15:2215:22, 20 April 2010‎ imported>Nicolas‎ m 6,934 bytes +479‎ →‎Developer FAQ

curprev 10:1210:12, 26 March 2010‎ imported>Jrloria‎ 6,455 bytes +6,455‎ from FAQ

Retrieved from ‘https://wiki.event-b.org/index.php/Developer_FAQ’

Navigation menu