aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-08-01 14:49:53 +0200
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-08-01 14:49:53 +0200
commit972baab642bd889d2c3476c0c9e17a6929e0c318 (patch)
tree8f724cb348c60e4fc45d446d8532988ed8e40748 /Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
parentCounting scope propagator (simpler than BasicTypeHierarchy) (diff)
downloadVIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz
VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst
VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip
[Stochastic] Remove fault tree support for now
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF3
1 files changed, 1 insertions, 2 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
index 27caa768..c24df78c 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
@@ -31,8 +31,7 @@ Require-Bundle: org.eclipse.xtext,
31 org.eclipse.core.runtime;bundle-version="3.12.0", 31 org.eclipse.core.runtime;bundle-version="3.12.0",
32 org.eclipse.viatra.query.runtime.rete;bundle-version="2.0.0", 32 org.eclipse.viatra.query.runtime.rete;bundle-version="2.0.0",
33 org.eclipse.viatra.query.runtime.localsearch;bundle-version="2.0.0", 33 org.eclipse.viatra.query.runtime.localsearch;bundle-version="2.0.0",
34 org.eclipse.collections;bundle-version="9.2.0", 34 org.eclipse.collections;bundle-version="9.2.0"
35 hu.bme.mit.inf.dslreasoner.faulttree.components
36Bundle-RequiredExecutionEnvironment: JavaSE-1.8 35Bundle-RequiredExecutionEnvironment: JavaSE-1.8
37Export-Package: hu.bme.mit.inf.dslreasoner.application, 36Export-Package: hu.bme.mit.inf.dslreasoner.application,
38 hu.bme.mit.inf.dslreasoner.application.applicationConfiguration, 37 hu.bme.mit.inf.dslreasoner.application.applicationConfiguration,