Tree [6980ca] master RodinCore/3.4 /
 History

HTTPS access


File Date Author Commit
 _exploratory unknown
 ch.ethz.eventb.keyboard.latex 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 fr.systerel.editor 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 fr.systerel.editor-feature 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 fr.systerel.editor.help 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 fr.systerel.editor.tests 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 fr.systerel.explorer 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 fr.systerel.explorer.tests 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.core 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.core.ast 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.core.ast.tests 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.core.seqprover 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.core.seqprover.doc.isv 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.eventb.core.seqprover.tests 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.core.tests 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.doc.user 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.eventb.ide 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.eventb.ide-feature 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.keyboard 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.eventb.keyboard.tests 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.eventb.parent 4 days ago Nicolas Beauger Nicolas Beauger [b51feb] Update Tycho and Maven-Resources plug-in versions
 org.eventb.pp 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.pp.tests 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.pp.ui 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.eventb.pptrans 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.eventb.pptrans.tests 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.eventb.ui 1 day ago Nicolas Beauger Nicolas Beauger [6980ca] Restore and depreciate OverlayIcon
 org.eventb.ui.icons unknown
 org.eventb.ui.symboltable 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.ui.symboltable.tests 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.eventb.ui.tests 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.rodinp-feature 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp.core 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp.core.emf 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp.core.emf.tests 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp.core.tests 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp.dev 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp.keyboard.core 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.rodinp.keyboard.core.tests 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.rodinp.keyboard.ui 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.rodinp.keyboard.ui.tests 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 org.rodinp.platform 4 days ago Nicolas Beauger Nicolas Beauger [eb62e9] Update splash screen date to 2018
 org.rodinp.platform-feature 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp.platform.repository 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp.platform.sources unknown
 org.rodinp.platform.sources-feature 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp.platform.tests-feature 4 days ago Nicolas Beauger Nicolas Beauger [267d13] Update bundle versions for Rodin 3.4
 org.rodinp.releng 4 days ago Nicolas Beauger Nicolas Beauger [402431] Switch to Eclipse 4.7
 .gitattributes unknown
 .gitignore unknown
 pom.xml unknown