Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Tree [11f62b] RodinCore/1.2 /
History



File Date Author Commit
ch.ethz.eventb.keyboard.latex 2010-01-26 Carine Pascal Carine Pascal [99e749] - The "bundle-version" restrictions have been r...
ch.ethz.eventb.keyboard.latex.tests 2010-01-26 Carine Pascal Carine Pascal [99e749] - The "bundle-version" restrictions have been r...
fr.systerel.explorer 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
fr.systerel.explorer.tests 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
org.eventb.core 2010-01-29 Carine Pascal Carine Pascal [c755c7] All packages are now exported, and as a consequ...
org.eventb.core.ast 2010-01-29 Laurent Voisin Laurent Voisin [2eef0d] Fixed bug #2901018: "distinct variable" require...
org.eventb.core.ast.tests 2010-01-29 Laurent Voisin Laurent Voisin [2eef0d] Fixed bug #2901018: "distinct variable" require...
org.eventb.core.seqprover 2010-02-01 Laurent Voisin Laurent Voisin [4c0fc7] Removed ill-defined rules SIMP_CARD_CPROD and S...
org.eventb.core.seqprover.doc.isv 2008-12-04 Laurent Voisin Laurent Voisin [09930b] Port to Ganymede Eclipse (3.4).
org.eventb.core.seqprover.tests 2010-01-27 Nicolas Beauger Nicolas Beauger [e8de57] Total Domain Rewriter: fixed bug when applied t...
org.eventb.core.tests 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
org.eventb.doc.user 2010-01-21 Nicolas Beauger Nicolas Beauger [aeca3a] User Documentation wiki2help script: added expl...
org.eventb.eventBKeyboard 2010-01-26 Carine Pascal Carine Pascal [99e749] - The "bundle-version" restrictions have been r...
org.eventb.eventBKeyboard.tests 2009-10-01 Nicolas Beauger Nicolas Beauger [1d9453] Manifests: Upgraded test plug-in versions to th...
org.eventb.ide 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
org.eventb.ide-feature 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
org.eventb.keyboard 2010-01-26 Carine Pascal Carine Pascal [99e749] - The "bundle-version" restrictions have been r...
org.eventb.keyboard.tests 2010-01-26 Carine Pascal Carine Pascal [99e749] - The "bundle-version" restrictions have been r...
org.eventb.pp 2010-01-28 Laurent Voisin Laurent Voisin [e1c1a3] Fixed bug #2941295: Race condition in XProverCa...
org.eventb.pp.tests 2010-01-22 Laurent Voisin Laurent Voisin [835ac8] Added test for bug #2937132: newPP unresponsive.
org.eventb.pp.ui 2009-06-04 Laurent Voisin Laurent Voisin [4099da] Added ".qualifier" to bundle and feature versio...
org.eventb.pptrans 2009-10-01 Nicolas Beauger Nicolas Beauger [91f03b] Manifests: upgraded minor version when changed ...
org.eventb.pptrans.tests 2009-10-01 Nicolas Beauger Nicolas Beauger [1d9453] Manifests: Upgraded test plug-in versions to th...
org.eventb.ui 2010-01-29 Nicolas Beauger Nicolas Beauger [9965b3] Event-B UI: added missing @since tags.
org.eventb.ui.icons 2008-01-21 Thai Son Hoang Thai Son Hoang [0272cd] Updated according to Colin's comments.
org.eventb.ui.symboltable 2010-01-27 Thomas Muller Thomas Muller [cd8545] Implemented Feature Request #2937127 : Symbol T...
org.eventb.ui.symboltable.tests 2010-01-26 Carine Pascal Carine Pascal [99e749] - The "bundle-version" restrictions have been r...
org.eventb.ui.tests 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
org.rodinp 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
org.rodinp-feature 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
org.rodinp.core 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
org.rodinp.core.tests 2010-02-01 Nicolas Beauger Nicolas Beauger [ea2caa] Rodin Core Tests: added missing class 'Occurren...
org.rodinp.keyboard 2010-01-27 Thomas Muller Thomas Muller [cd8545] Implemented Feature Request #2937127 : Symbol T...
org.rodinp.keyboard.tests 2010-01-26 Carine Pascal Carine Pascal [99e749] - The "bundle-version" restrictions have been r...
org.rodinp.platform 2010-01-22 Nicolas Beauger Nicolas Beauger [253692] ROdin.product: moved to generic feature version...
org.rodinp.platform-feature 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
org.rodinp.releng 2010-01-17 Laurent Voisin Laurent Voisin [ae33ea] Fixed archive format for product build.