| 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)" |
