Commit 595ae1de authored by Andreas Bayha's avatar Andreas Bayha
Browse files

Added specification.ui and testing.ui to application, for integration of


formal analysis for models.
Signed-off-by: Andreas Bayha's avatarAndreas Bayha <bayha@fortiss.org>
parent 0f7e1e9d
......@@ -50,5 +50,8 @@ Require-Bundle: org.eclipse.ui.ide.application,
org.eclipse.core.variables,
org.fortiss.tooling.kernel,
org.fortiss.af3.project,
org.fortiss.tooling.kernel.ui
org.fortiss.tooling.kernel.ui,
org.fortiss.af3.specification;bundle-version="2.13.0",
org.fortiss.af3.specification.ui;bundle-version="2.13.0",
org.fortiss.af3.testing.ui;bundle-version="2.13.0"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment