diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-06 19:19:18 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-06 19:19:18 -0400 |
commit | 8ecc73c4f8cd83d0ae807a55223f38a9b00505a9 (patch) | |
tree | 02a6e7ddd6bebab8f051700f781e1038421b6449 /Framework/hu.bme.mit.inf.dslreasoner.logic.model | |
parent | VAMPIRE: last commit (diff) | |
download | VIATRA-Generator-8ecc73c4f8cd83d0ae807a55223f38a9b00505a9.tar.gz VIATRA-Generator-8ecc73c4f8cd83d0ae807a55223f38a9b00505a9.tar.zst VIATRA-Generator-8ecc73c4f8cd83d0ae807a55223f38a9b00505a9.zip |
VAMPIRE: Rebase on Master
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF index 27b81f93..4c71a872 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF | |||
@@ -6,29 +6,29 @@ Bundle-Version: 1.0.0.qualifier | |||
6 | Bundle-Vendor: %providerName | 6 | Bundle-Vendor: %providerName |
7 | Bundle-Localization: plugin | 7 | Bundle-Localization: plugin |
8 | Export-Package: hu.bme.mit.inf.dslreasoner.logic.model.builder, | 8 | Export-Package: hu.bme.mit.inf.dslreasoner.logic.model.builder, |
9 | hu.bme.mit.inf.dslreasoner.logic.model.builder.consistencychecker, | 9 | hu.bme.mit.inf.dslreasoner.logic.model.builder.consistencychecker, |
10 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage, | 10 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage, |
11 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl, | 11 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl, |
12 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util, | 12 | hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util, |
13 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem, | 13 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem, |
14 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl, | 14 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl, |
15 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util, | 15 | hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util, |
16 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult, | 16 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult, |
17 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl, | 17 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl, |
18 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util, | 18 | hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util, |
19 | hu.bme.mit.inf.dslreasoner.logic.model.patterns, | 19 | hu.bme.mit.inf.dslreasoner.logic.model.patterns, |
20 | hu.bme.mit.inf.dslreasoner.logic.model.statistics, | 20 | hu.bme.mit.inf.dslreasoner.logic.model.statistics, |
21 | hu.bme.mit.inf.dslreasoner.util, | 21 | hu.bme.mit.inf.dslreasoner.util, |
22 | hu.bme.mit.inf.dslreasoner.workspace | 22 | hu.bme.mit.inf.dslreasoner.workspace |
23 | Require-Bundle: org.eclipse.core.runtime, | 23 | Require-Bundle: org.eclipse.core.runtime, |
24 | org.eclipse.emf.ecore;visibility:=reexport, | 24 | org.eclipse.emf.ecore;visibility:=reexport, |
25 | com.google.guava, | 25 | com.google.guava, |
26 | org.eclipse.xtend.lib, | 26 | org.eclipse.xtend.lib, |
27 | org.eclipse.xtext.xbase.lib, | 27 | org.eclipse.xtext.xbase.lib, |
28 | org.eclipse.core.resources;bundle-version="3.8.101", | 28 | org.eclipse.core.resources;bundle-version="3.8.101", |
29 | org.eclipse.viatra.query.runtime;bundle-version="1.3.0", | 29 | org.eclipse.viatra.query.runtime;bundle-version="1.3.0", |
30 | org.apache.commons.lang;bundle-version="2.6.0", | 30 | org.apache.commons.lang;bundle-version="2.6.0", |
31 | org.eclipse.emf.ecore.xmi;bundle-version="2.13.0" | 31 | org.eclipse.emf.ecore.xmi;bundle-version="2.13.0" |
32 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 32 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
33 | Bundle-ActivationPolicy: lazy | 33 | Bundle-ActivationPolicy: lazy |
34 | Import-Package: org.apache.log4j | 34 | Import-Package: org.apache.log4j |