Tree [26a874] master /
 History

HTTPS access


File Date Author Commit
 _exploratory 2013-11-20 Josselin DOLHEN Josselin DOLHEN [2b2d60] New release of performance tests for Seqprover
 ch.ethz.eventb.keyboard.latex 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 fr.systerel.editor 2017-04-27 Guillaume Babin Guillaume Babin [31e0fe] Remove unsed imports
 fr.systerel.editor-feature 2017-02-17 Laurent Voisin Laurent Voisin [f3b249] Update more copyright years to 2017
 fr.systerel.editor.help 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 fr.systerel.editor.tests 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 fr.systerel.explorer 2017-04-10 Guillaume Babin Guillaume Babin [6085b8] Fix uses of ListenerList without type parameters
 fr.systerel.explorer.tests 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.eventb.core 2017-04-14 Guillaume Babin Guillaume Babin [0c6934] Add the possibility to throw NoSuchElementExcep...
 org.eventb.core.ast 2017-04-14 Guillaume Babin Guillaume Babin [63b72a] Remove useless assignements
 org.eventb.core.ast.tests 2017-02-06 Laurent Voisin Laurent Voisin [05a1b7] Check the destination type environment
 org.eventb.core.seqprover 2017-04-27 Guillaume Babin Guillaume Babin [31e0fe] Remove unsed imports
 org.eventb.core.seqprover.doc.isv 2017-04-02 Thái Sơn Hoàng Thái Sơn Hoàng [c33abb] Fixed plugin version for sequent prover's devel...
 org.eventb.core.seqprover.tests 2017-03-15 Laurent Voisin Laurent Voisin [2df894] Create level 3 of genMP
 org.eventb.core.tests 2017-04-10 Guillaume Babin Guillaume Babin [a2bf51] Remove unecessary type casts
 org.eventb.doc.user 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.eventb.ide 2017-04-02 Thái Sơn Hoàng Thái Sơn Hoàng [e1d06d] Changed Proving Perspective avoiding deprecated...
 org.eventb.ide-feature 2017-02-17 Laurent Voisin Laurent Voisin [f3b249] Update more copyright years to 2017
 org.eventb.keyboard 2017-02-23 Laurent Voisin Laurent Voisin [9a5361] Update POM versions for the Event-B keyboard
 org.eventb.keyboard.tests 2017-02-23 Laurent Voisin Laurent Voisin [9a5361] Update POM versions for the Event-B keyboard
 org.eventb.parent 2016-11-16 Nicolas Beauger Nicolas Beauger [5468d7] Build upon Eclipse Neon
 org.eventb.pp 2017-04-27 Guillaume Babin Guillaume Babin [31e0fe] Remove unsed imports
 org.eventb.pp.tests 2017-04-14 Guillaume Babin Guillaume Babin [9ce228] Make inner classes static when possible to impr...
 org.eventb.pp.ui 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.eventb.pptrans 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.eventb.pptrans.tests 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.eventb.ui 2017-06-15 Laurent Voisin Laurent Voisin [c8daab] Work around a compiler warning
 org.eventb.ui.icons 2014-11-26 Nicolas Beauger Nicolas Beauger [8315e1] Add uncertain icons to UI
 org.eventb.ui.symboltable 2017-02-27 Laurent Voisin Laurent Voisin [b63215] Do not load the Rodin math font at startup
 org.eventb.ui.symboltable.tests 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.eventb.ui.tests 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.rodinp 2017-02-17 Thái Sơn Hoàng Thái Sơn Hoàng [05b099] Update copyright year to 2017
 org.rodinp-feature 2017-02-17 Laurent Voisin Laurent Voisin [f3b249] Update more copyright years to 2017
 org.rodinp.core 2017-08-07 Nicolas Beauger Nicolas Beauger [26a874] Fix RodinDBStatus error message
 org.rodinp.core.emf 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.rodinp.core.emf.tests 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.rodinp.core.tests 2017-04-27 Guillaume Babin Guillaume Babin [31e0fe] Remove unsed imports
 org.rodinp.dev 2016-11-16 Nicolas Beauger Nicolas Beauger [a96267] Update copyrights, bundle versions and required...
 org.rodinp.keyboard.core 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.rodinp.keyboard.core.tests 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.rodinp.keyboard.ui 2017-02-27 Laurent Voisin Laurent Voisin [8596b5] Use static import for RODIN_MATH_FONT
 org.rodinp.keyboard.ui.tests 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.rodinp.platform 2017-02-26 Laurent Voisin Laurent Voisin [f7cd5f] Move the Event-B font to the Rodin keyboard
 org.rodinp.platform-feature 2017-02-17 Laurent Voisin Laurent Voisin [f3b249] Update more copyright years to 2017
 org.rodinp.platform.repository 2016-09-09 Laurent Voisin Laurent Voisin [898475] Fix references to org.eventb:parent POM
 org.rodinp.platform.sources 2014-08-08 Nicolas Beauger Nicolas Beauger [6bce20] Fix org.rodinp.platform.sources/.project
 org.rodinp.platform.sources-feature 2017-02-17 Laurent Voisin Laurent Voisin [f3b249] Update more copyright years to 2017
 org.rodinp.platform.tests-feature 2017-02-17 Laurent Voisin Laurent Voisin [f3b249] Update more copyright years to 2017
 org.rodinp.releng 2017-02-06 Laurent Voisin Laurent Voisin [4c4a95] Improve the fix_copyright_dates releng script
 .gitattributes 2013-05-24 Laurent Voisin Laurent Voisin [0f76a3] Tell Git that we use LF end of lines
 .gitignore 2013-03-20 Roland Laun Roland Laun [f8249b] Set up configuration files for Maven build.
 pom.xml 2014-02-09 Laurent Voisin Laurent Voisin [8f3cc5] Clean root pom.xml

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks