|
_exploratory
|
2013-11-20
|
Josselin DOLHEN
|
[2b2d60]
New release of performance tests for Seqprover
|
|
ch.ethz.eventb.keyboard.latex
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
fr.systerel.editor
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
fr.systerel.editor-feature
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
fr.systerel.editor.help
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
fr.systerel.editor.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
fr.systerel.explorer
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
fr.systerel.explorer.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.core
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.core.ast
|
2025-05-29
|
Laurent Voisin
|
[89d2cf]
Use isBasic of datatypes
|
|
org.eventb.core.ast.tests
|
2025-05-29
|
Laurent Voisin
|
[8392b5]
Add method isBasic to datatypes
|
|
org.eventb.core.seqprover
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.core.seqprover.doc.isv
|
2022-11-16
|
Guillaume Verdier
|
[c2ddcf]
Set encoding of Eclipse projects to UTF-8 when ...
|
|
org.eventb.core.seqprover.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.core.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.doc.user
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.ide
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.ide-feature
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.keyboard
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.keyboard.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.parent
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.pp
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.pp.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.pp.ui
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.pptrans
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.pptrans.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.ui
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.ui.icons
|
2022-11-16
|
Guillaume Verdier
|
[c2ddcf]
Set encoding of Eclipse projects to UTF-8 when ...
|
|
org.eventb.ui.symboltable
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.ui.symboltable.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.eventb.ui.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp-feature
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.core
|
2025-05-17
|
Laurent Voisin
|
[f9596d]
Document the source conversion
|
|
org.rodinp.core.emf
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.core.emf.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.core.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.dev
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.keyboard.core
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.keyboard.core.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.keyboard.ui
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.keyboard.ui.tests
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.platform
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.platform-feature
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.platform.repository
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.platform.tests-feature
|
2025-05-09
|
Idir AIT SADOUNE
|
[50e72e]
updating parent and plugins versions to 3.10
|
|
org.rodinp.releng
|
2024-06-10
|
Idir Ait-Sadoune
|
[19e751]
updating the compSite.xml file to generate the ...
|
|
.gitattributes
|
2013-05-24
|
Laurent Voisin
|
[0f76a3]
Tell Git that we use LF end of lines
|
|
.gitignore
|
2023-04-05
|
Laurent Voisin
|
[af2f57]
Ignore any Xvfb folder
|
|
pom.xml
|
2020-11-10
|
Laurent Voisin
|
[c92321]
Remove the org.rodinp.platform.sources* modules
|