aboutsummaryrefslogtreecommitdiffstats
path: root/Framework
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-04-16 10:32:11 +0200
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-04-16 10:32:11 +0200
commit416e0352d2b4a97c978b166c076d540fe9af40bc (patch)
treeece50271862fd3260e9c29c098cc8858729fc78a /Framework
parentSatellite constellation case study WIP (diff)
parentFixed misformalization of (may/must)(X!=Y) for abstract objects (diff)
downloadVIATRA-Generator-416e0352d2b4a97c978b166c076d540fe9af40bc.tar.gz
VIATRA-Generator-416e0352d2b4a97c978b166c076d540fe9af40bc.tar.zst
VIATRA-Generator-416e0352d2b4a97c978b166c076d540fe9af40bc.zip
Merge remote-tracking branch 'origin/master' into kris
Diffstat (limited to 'Framework')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF3
1 files changed, 2 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
index 1fda4212..8fa4517d 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
@@ -17,7 +17,8 @@ Require-Bundle: com.google.guava,
17 org.eclipse.emf.ecore;visibility:=reexport, 17 org.eclipse.emf.ecore;visibility:=reexport,
18 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0";visibility:=reexport, 18 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0";visibility:=reexport,
19 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.5.0", 19 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.5.0",
20 org.eclipse.viatra.query.patternlanguage.emf;bundle-version="2.0.0" 20 org.eclipse.viatra.query.patternlanguage.emf;bundle-version="2.0.0",
21 org.eclipse.xtext
21Bundle-ActivationPolicy: lazy 22Bundle-ActivationPolicy: lazy
22Export-Package: hu.bme.mit.inf.dslreasoner.viatra2logic, 23Export-Package: hu.bme.mit.inf.dslreasoner.viatra2logic,
23 hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations, 24 hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations,