Skip to content
Snippets Groups Projects
Commit be7bc608 authored by ladenberger's avatar ladenberger
Browse files

test ...

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Camille@16402 1434b563-b632-4741-aa49-43a3a8374d2e
parent f6dc269e
Branches
Tags
No related merge requests found
......@@ -159,6 +159,24 @@ Inc. in the United States, other countries, or both.
<discovery label="Rodin Update Site" url="http://rodin-b-sharp.sourceforge.net/updates"/>
</url>
<requires>
<import plugin="org.eventb.texttools" version="3.0.0" match="equivalent"/>
<import plugin="org.eventb.emf.formulas" version="1.2.0" match="compatible"/>
<import plugin="org.eventb.emf.persistence" version="3.1.0" match="compatible"/>
<import plugin="org.eventb.ui" version="2.0.0" match="compatible"/>
<import plugin="org.eclipse.jface.text" version="3.6.0" match="compatible"/>
<import plugin="org.eclipse.emf.edit.ui" version="2.5.0" match="compatible"/>
<import plugin="org.eventb.core.ast" version="3.0.0" match="compatible"/>
<import plugin="org.eclipse.ui.editors" version="3.8.0" match="compatible"/>
<import plugin="org.eclipse.ui.ide" version="3.8.2" match="compatible"/>
<import plugin="org.rodinp.keyboard.ui" version="2.0.0" match="compatible"/>
<import plugin="org.eclipse.ui.workbench.texteditor"/>
<import plugin="org.eclipse.emf.compare" version="1.2.2" match="compatible"/>
<import plugin="org.eclipse.emf.compare.diff" version="1.2.2" match="compatible"/>
<import plugin="org.eclipse.emf.compare.match" version="1.2.2" match="compatible"/>
<import plugin="org.eclipse.core.resources" version="3.8.1" match="compatible"/>
</requires>
<plugin
id="org.eventb.texteditor.ui"
download-size="0"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment