Commit [f8249b] Maximize Restore History

Set up configuration files for Maven build.

Build against official Eclipse update site.
Include git commit in build qualifier.
Add a script to launch maven build, setting qualifier with current git commit.
Add Handbook repository, add Handbook dependency in Rodin product.

Roland Laun Roland Laun 2013-03-20

Laurent Voisin Laurent Voisin 2014-01-08

1 2 3 > >> (Page 1 of 3)
added ch.ethz.eventb.keyboard.latex/pom.xml
added fr.systerel.editor-feature/pom.xml
added fr.systerel.editor.help/pom.xml
added fr.systerel.editor.tests/pom.xml
added fr.systerel.editor/pom.xml
added fr.systerel.explorer.tests/pom.xml
added fr.systerel.explorer/pom.xml
added org.eventb.core.ast.tests/pom.xml
added org.eventb.core.ast/pom.xml
added org.eventb.core.seqprover.doc.isv/pom.xml
added org.eventb.core.seqprover.tests/pom.xml
added org.eventb.core.seqprover/pom.xml
added org.eventb.core.tests/pom.xml
added org.eventb.core/pom.xml
added org.eventb.doc.user/pom.xml
added org.eventb.ide-feature/pom.xml
added org.eventb.ide/pom.xml
added org.eventb.keyboard.tests/pom.xml
added org.eventb.keyboard/pom.xml
added org.eventb.pp.tests/pom.xml
added org.eventb.pp.ui/pom.xml
added org.eventb.pp/pom.xml
added org.eventb.pptrans.tests/pom.xml
added org.eventb.pptrans/pom.xml
added org.eventb.ui.symboltable.tests/pom.xml
ch.ethz.eventb.keyboard.latex/pom.xml Diff Switch to side-by-side view
Loading...
fr.systerel.editor-feature/pom.xml Diff Switch to side-by-side view
Loading...
fr.systerel.editor.help/pom.xml Diff Switch to side-by-side view
Loading...
fr.systerel.editor.tests/pom.xml Diff Switch to side-by-side view
Loading...
fr.systerel.editor/pom.xml Diff Switch to side-by-side view
Loading...
fr.systerel.explorer.tests/pom.xml Diff Switch to side-by-side view
Loading...
fr.systerel.explorer/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.core.ast.tests/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.core.ast/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover.doc.isv/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover.tests/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.core.tests/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.core/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.doc.user/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.ide-feature/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.ide/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.keyboard.tests/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.keyboard/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.pp.tests/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.pp.ui/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.pp/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.pptrans.tests/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.pptrans/pom.xml Diff Switch to side-by-side view
Loading...
org.eventb.ui.symboltable.tests/pom.xml Diff Switch to side-by-side view
Loading...
1 2 3 > >> (Page 1 of 3)