| Manifest-Version: 1.0 |
| Bundle-ManifestVersion: 2 |
| Bundle-Name: VIATRA2 R3 Pattern matcher |
| Bundle-SymbolicName: org.eclipse.viatra2.gtasm.patternmatcher;singleton:=true |
| Bundle-Version: 3.1.0.20100316 |
| Bundle-ClassPath: . |
| Export-Package: org.eclipse.viatra2.gtasm.patternmatcher, |
| org.eclipse.viatra2.gtasm.patternmatcher.exceptions, |
| org.eclipse.viatra2.gtasm.patternmatcher.extension, |
| org.eclipse.viatra2.gtasm.patternmatcher.patterns |
| Require-Bundle: org.eclipse.core.runtime, |
| org.eclipse.viatra2.core2, |
| org.eclipse.viatra2.gtasm.model, |
| org.eclipse.viatra2.gtasm.interpreter |
| Bundle-Vendor: BUTE-FTSRG |
| Bundle-ActivationPolicy: lazy |
| Bundle-Activator: org.eclipse.viatra2.gtasm.patternmatcher.extension.ViatraGTASMPatternMatcherPlugin |
| Bundle-RequiredExecutionEnvironment: J2SE-1.5 |
| |
