|
_exploratory
|
2013-11-20
|
Josselin DOLHEN
|
[2b2d60]
New release of performance tests for Seqprover
|
|
ch.ethz.eventb.keyboard.latex
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
fr.systerel.editor
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
fr.systerel.editor-feature
|
2020-08-21
|
Laurent Voisin
|
[53615e]
Update feature versions
|
|
fr.systerel.editor.help
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
fr.systerel.editor.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
fr.systerel.explorer
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
fr.systerel.explorer.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.core
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.core.ast
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.core.ast.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.core.seqprover
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.core.seqprover.doc.isv
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.core.seqprover.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.core.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.doc.user
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.ide
|
2020-08-31
|
Laurent Voisin
|
[885742]
Fix copyright dates in about.properties
|
|
org.eventb.ide-feature
|
2020-08-21
|
Laurent Voisin
|
[53615e]
Update feature versions
|
|
org.eventb.keyboard
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.keyboard.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.parent
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.pp
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.pp.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.pp.ui
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.pptrans
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.pptrans.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.ui
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.ui.icons
|
2014-11-26
|
Nicolas Beauger
|
[8315e1]
Add uncertain icons to UI
|
|
org.eventb.ui.symboltable
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.ui.symboltable.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.eventb.ui.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.rodinp
|
2020-08-31
|
Laurent Voisin
|
[885742]
Fix copyright dates in about.properties
|
|
org.rodinp-feature
|
2020-08-21
|
Laurent Voisin
|
[53615e]
Update feature versions
|
|
org.rodinp.core
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.rodinp.core.emf
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.rodinp.core.emf.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.rodinp.core.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.rodinp.dev
|
2020-08-21
|
Laurent Voisin
|
[53615e]
Update feature versions
|
|
org.rodinp.keyboard.core
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.rodinp.keyboard.core.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.rodinp.keyboard.ui
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.rodinp.keyboard.ui.tests
|
2020-08-21
|
Laurent Voisin
|
[a71fe2]
Bump org.eventb.parent to 3.5
|
|
org.rodinp.platform
|
2020-09-11
|
Laurent Voisin
|
[74e0e4]
Add dedication
|
|
org.rodinp.platform-feature
|
2020-08-21
|
Laurent Voisin
|
[53615e]
Update feature versions
|
|
org.rodinp.platform.repository
|
2020-08-21
|
Laurent Voisin
|
[53615e]
Update feature versions
|
|
org.rodinp.platform.sources
|
2014-08-08
|
Nicolas Beauger
|
[6bce20]
Fix org.rodinp.platform.sources/.project
|
|
org.rodinp.platform.sources-feature
|
2020-08-21
|
Laurent Voisin
|
[53615e]
Update feature versions
|
|
org.rodinp.platform.tests-feature
|
2020-08-21
|
Laurent Voisin
|
[53615e]
Update feature versions
|
|
org.rodinp.releng
|
2020-09-10
|
Laurent Voisin
|
[bb0b4e]
Composite Core update site
|
|
.gitattributes
|
2013-05-24
|
Laurent Voisin
|
[0f76a3]
Tell Git that we use LF end of lines
|
|
.gitignore
|
2013-03-20
|
Roland Laun
|
[f8249b]
Set up configuration files for Maven build.
|
|
pom.xml
|
2014-02-09
|
Laurent Voisin
|
[8f3cc5]
Clean root pom.xml
|
