Tree [d667e0] RodinCore/2.1 /
 History

HTTPS access


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-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 fr.systerel.explorer.tests 2010-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 org.eventb.core 2010-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 org.eventb.core.ast 2010-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 org.eventb.core.ast.tests 2010-11-23 Nicolas Beauger Nicolas Beauger [0d029b] Implemented lexer tests to show bug 3116812: Le...
 org.eventb.core.seqprover 2010-11-23 Nicolas Beauger Nicolas Beauger [0ed1fc] Added test to reproduce bug 3116665: Assertion ...
 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-11-23 Nicolas Beauger Nicolas Beauger [0ed1fc] Added test to reproduce bug 3116665: Assertion ...
 org.eventb.core.tests 2010-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 org.eventb.doc.user 2010-01-21 Nicolas Beauger Nicolas Beauger [aeca3a] User Documentation wiki2help script: added expl...
 org.eventb.ide 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
 org.eventb.ide-feature 2010-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 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-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 org.eventb.pp.tests 2010-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 org.eventb.pp.ui 2009-06-04 Laurent Voisin Laurent Voisin [4099da] Added ".qualifier" to bundle and feature versio...
 org.eventb.pptrans 2010-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 org.eventb.pptrans.tests 2009-10-01 Nicolas Beauger Nicolas Beauger [1d9453] Manifests: Upgraded test plug-in versions to th...
 org.eventb.ui 2010-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 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-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 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-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
 org.rodinp.platform-feature 2010-01-21 Nicolas Beauger Nicolas Beauger [b862a7] Incremented minor versions of plug-ins and feat...
 org.rodinp.releng 2010-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...