Manifest-Version: 1.0
Automatic-Module-Name: org.eclipse.viatra.solver.language.ui
Bundle-ManifestVersion: 2
Bundle-Name: org.eclipse.viatra.solver.language.ui
Bundle-Vendor: My Company
Bundle-Version: 1.0.0.qualifier
Bundle-SymbolicName: org.eclipse.viatra.solver.language.ui; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: org.eclipse.viatra.solver.language,
 org.eclipse.viatra.solver.language.ide,
 org.eclipse.xtext.ui,
 org.eclipse.xtext.ui.shared,
 org.eclipse.xtext.ui.codetemplates.ui,
 org.eclipse.ui.editors;bundle-version="3.5.0",
 org.eclipse.ui.ide;bundle-version="3.5.0",
 org.eclipse.ui,
 org.eclipse.compare,
 org.eclipse.xtext.builder,
 org.eclipse.xtext.xbase.lib;bundle-version="2.14.0",
 org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional
Import-Package: org.apache.log4j
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Export-Package: org.eclipse.viatra.solver.language.ui.contentassist,
 org.eclipse.viatra.solver.language.ui.internal,
 org.eclipse.viatra.solver.language.ui.quickfix,
 org.eclipse.viatra.solver.language.validation
Bundle-Activator: org.eclipse.viatra.solver.language.ui.internal.LanguageActivator