Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: %pluginName
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Bundle-SymbolicName: org.eclipse.ocl.pivot.ui;singleton:=true
Bundle-Version: 1.11.0.qualifier
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Require-Bundle: org.eclipse.xtext.ui;bundle-version="[2.9.0,3.0.0)";visibility:=reexport,
 org.eclipse.xtext.ui.shared;bundle-version="[2.9.0,3.0.0)";visibility:=reexport,
 org.eclipse.ocl.pivot;bundle-version="[1.3.0,2.0.0)";visibility:=reexport,
 org.eclipse.ocl.xtext.completeocl.ui;bundle-version="[1.3.0,2.0.0)",
 org.eclipse.ocl.xtext.oclstdlib.ui;bundle-version="[1.3.0,2.0.0)"
Export-Package: org.eclipse.ocl.pivot.ui,
 org.eclipse.ocl.pivot.ui.builder,
 org.eclipse.ocl.pivot.ui.internal.preferences;x-internal:=true,
 org.eclipse.ocl.pivot.ui.messages,
 org.eclipse.ocl.pivot.ui.nature
Automatic-Module-Name: org.eclipse.ocl.pivot.ui
Import-Package: org.apache.log4j;version="[1.2.15,2.0.0)"