Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: VIATRA Validation UI
Bundle-SymbolicName: org.eclipse.viatra.addon.validation.runtime.ui;singleton:=true
Bundle-Version: 1.3.1.qualifier
Bundle-Vendor: Eclipse VIATRA Project
Require-Bundle: org.eclipse.ui,
 org.eclipse.core.runtime,
 org.eclipse.ui.ide;visibility:=reexport,
 org.eclipse.emf.edit.ui;bundle-version="2.6.0",
 org.eclipse.viatra.addon.validation.runtime;bundle-version="1.2.0",
 org.eclipse.core.expressions,
 org.eclipse.viatra.query.tooling.ui;bundle-version="1.2.0",
 org.eclipse.viatra.query.runtime;bundle-version="1.2.0"
Bundle-RequiredExecutionEnvironment: JavaSE-1.7
Bundle-ActivationPolicy: lazy
Export-Package: org.eclipse.viatra.addon.validation.runtime.ui