| Manifest-Version: 1.0 |
| Bundle-ManifestVersion: 2 |
| Bundle-Name: Viatra2 GTASM Trigger Execution Support (Incubation) |
| Bundle-SymbolicName: org.eclipse.viatra2.gtasm.trigger;singleton:=true |
| Bundle-Version: 3.3.0.qualifier |
| Bundle-Activator: org.eclipse.viatra2.gtasm.trigger.Activator |
| Bundle-Vendor: BUTE-FTSRG / Okros Andras |
| Require-Bundle: org.eclipse.core.runtime, |
| org.eclipse.viatra2.core2, |
| org.eclipse.viatra2.gtasm.model, |
| org.eclipse.viatra2.gtasm.interpreter, |
| org.eclipse.viatra2.gtasm.patternmatcher, |
| org.eclipse.viatra2.gui, |
| org.eclipse.ui, |
| org.eclipse.ui.views, |
| org.eclipse.viatra2.gtasm.interpreter.term, |
| org.eclipse.viatra2.gtasm.interpreter.impl, |
| org.eclipse.viatra2.gtasm.patternmatcher.incremental;bundle-version="3.0.0" |
| Bundle-ActivationPolicy: lazy |
| Export-Package: org.eclipse.viatra2.gtasm.trigger, |
| org.eclipse.viatra2.gtasm.trigger.engine, |
| org.eclipse.viatra2.gtasm.trigger.model, |
| org.eclipse.viatra2.gtasm.trigger.natives, |
| org.eclipse.viatra2.gtasm.trigger.view |
| Bundle-ClassPath: . |
| Bundle-RequiredExecutionEnvironment: JavaSE-1.6 |