Tree [e4cabb] RodinCore/2.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 2011-03-09 Nicolas Beauger Nicolas Beauger [801ba7] Merged revisions 10879, 10880, 10915, 10916, fr...
fr.systerel.explorer.tests 2010-11-10 Nicolas Beauger Nicolas Beauger [38047c] Integration for Rodin 2.0.1, starting from r996...
org.eventb.core 2011-03-10 Nicolas Beauger Nicolas Beauger [cfaf3f] updated plug-in manifest versions.
org.eventb.core.ast 2011-03-10 Nicolas Beauger Nicolas Beauger [cfaf3f] updated plug-in manifest versions.
org.eventb.core.ast.tests 2011-03-10 Nicolas Beauger Nicolas Beauger [cfaf3f] updated plug-in manifest versions.
org.eventb.core.seqprover 2011-03-10 Nicolas Beauger Nicolas Beauger [cfaf3f] updated plug-in manifest versions.
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 2011-03-10 Nicolas Beauger Nicolas Beauger [cfaf3f] updated plug-in manifest versions.
org.eventb.core.tests 2011-03-10 Nicolas Beauger Nicolas Beauger [cfaf3f] updated plug-in manifest versions.
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 2011-03-09 Nicolas Beauger Nicolas Beauger [801ba7] Merged revisions 10879, 10880, 10915, 10916, fr...
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 2011-03-10 Nicolas Beauger Nicolas Beauger [cfaf3f] updated plug-in manifest versions.
org.eventb.pptrans.tests 2011-03-10 Nicolas Beauger Nicolas Beauger [cfaf3f] updated plug-in manifest versions.
org.eventb.ui 2011-03-11 Nicolas Beauger Nicolas Beauger [903832] Merged revision 10984 from trunk.
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 2011-03-10 Nicolas Beauger Nicolas Beauger [cfaf3f] updated plug-in manifest versions.
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 2011-03-09 Nicolas Beauger Nicolas Beauger [801ba7] Merged revisions 10879, 10880, 10915, 10916, fr...
org.rodinp.keyboard.tests 2010-01-26 Carine Pascal Carine Pascal [99e749] - The "bundle-version" restrictions have been r...
org.rodinp.platform 2011-03-09 Nicolas Beauger Nicolas Beauger [801ba7] Merged revisions 10879, 10880, 10915, 10916, fr...
org.rodinp.platform-feature 2011-03-09 Nicolas Beauger Nicolas Beauger [801ba7] Merged revisions 10879, 10880, 10915, 10916, fr...
org.rodinp.releng 2011-03-09 Nicolas Beauger Nicolas Beauger [801ba7] Merged revisions 10879, 10880, 10915, 10916, fr...