Menu ▾ ▴

Tree [f60c57] master 4.0.4 /
 History

HTTPS git://
HTTPS access

File Date Author Commit
 org.eventb.core.ast.extensions 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.core.ast.extensions.tests 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.theory.branding 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.theory.core 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.theory.core.tests 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.theory.feature 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.theory.help 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.theory.help.latex 2012-06-18 Issam Maamria Issam Maamria [b81905] Theory: initial addition of static checking des...
 org.eventb.theory.keyboard 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.theory.rbp 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.theory.repository 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.theory.sdk 2020-12-17 Guillaume Verdier Guillaume Verdier [e9fc72] Update .properties files for next release
 org.eventb.theory.tests.rbp 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 org.eventb.theory.ui 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release
 .gitignore 2020-11-02 Guillaume Verdier Guillaume Verdier [dae7fd] Add Maven build
 README 2020-12-21 Guillaume Verdier Guillaume Verdier [aa8e7e] Update build instructions in README
 pom.xml 2022-04-01 Guillaume Verdier Guillaume Verdier [f60c57] Update version numbers for 4.0.4 release

Read Me

Procedure to build the Theory plug-in with Maven:

1. Download the Rodin target platform bundle (org.rodinp.dev-VERSION.zip) from
Sourceforge and put it in /var/tmp (if it is not possible, update the path to
it in org.eventb.theory.feature/org.eventb.theory.feature.target)

2. Run the following command from the directory containing this README:

mvn package

You can also add the hash of the latest git commit to the version with:

mvn package -Dversion-suffix=-$(git rev-parse --short HEAD)

3. Upload the files in org.eventb.theory.repository/target/repository to the
server of the update site or add the folder as a local update site in your
Eclipse configuration.