Tree [7684a2] master /
History



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 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
fr.systerel.editor 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
fr.systerel.editor-feature 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
fr.systerel.editor.help 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
fr.systerel.editor.tests 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
fr.systerel.explorer 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
fr.systerel.explorer.tests 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.core 2014-11-13 Nicolas Beauger Nicolas Beauger [a62cb7] Check that the formula extension provider retur...
org.eventb.core.ast 2014-11-13 Nicolas Beauger Nicolas Beauger [519a79] Add datatype origin.
org.eventb.core.ast.tests 2014-11-13 Nicolas Beauger Nicolas Beauger [519a79] Add datatype origin.
org.eventb.core.seqprover 2014-08-11 Laurent Voisin Laurent Voisin [5a3798] Fix bug #722: Incorrect proof skeleton
org.eventb.core.seqprover.doc.isv 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.core.seqprover.tests 2014-08-11 Laurent Voisin Laurent Voisin [5a3798] Fix bug #722: Incorrect proof skeleton
org.eventb.core.tests 2014-08-05 Laurent Voisin Laurent Voisin [7cfade] Fix bug #723 Replay less powerful than proving UI
org.eventb.doc.user 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.ide 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.ide-feature 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.keyboard 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.keyboard.tests 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.parent 2014-08-08 Nicolas Beauger Nicolas Beauger [6f7885] Upgrade to tycho 0.21.0
org.eventb.pp 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.pp.tests 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.pp.ui 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.pptrans 2014-10-26 Laurent Voisin Laurent Voisin [f0c9fd] Create free identifier from type environment it...
org.eventb.pptrans.tests 2014-02-27 Laurent Voisin Laurent Voisin [2b7680] Recode bound identifier decomposition
org.eventb.ui 2 days ago Nicolas Beauger Nicolas Beauger [588258] Factorize filter text setup to UIUtils.
org.eventb.ui.icons 2008-01-21 Thai Son Hoang Thai Son Hoang [0272cd] Updated according to Colin's comments.
org.eventb.ui.symboltable 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.ui.symboltable.tests 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.ui.tests 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.eventb.ui.tests.integration 2014-02-16 Laurent Voisin Laurent Voisin [0bac96] Define Tycho plugin versions in parent POM
org.rodinp 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp-feature 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.core 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.core.emf 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.core.emf.tests 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.core.tests 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.dev 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.keyboard.core 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.keyboard.core.tests 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.keyboard.ui 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.keyboard.ui.tests 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.platform 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.platform-feature 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.platform.repository 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.platform.sources 2014-08-08 Nicolas Beauger Nicolas Beauger [6bce20] Fix org.rodinp.platform.sources/.project
org.rodinp.platform.sources-feature 2014-08-08 Nicolas Beauger Nicolas Beauger [667062] Upgrade plugin and feature versions for Rodin 3.1
org.rodinp.platform.tests-feature 2014-08-08 Nicolas Beauger Nicolas Beauger [7d0373] Fix org.rodinp.platform.tests feature name
org.rodinp.releng 2014-06-12 Nicolas Beauger Nicolas Beauger [b46fb3] Adapt mirror script to build repository location
.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