diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-05-14 12:55:47 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-05-14 12:55:47 +0200 |
commit | a993b72eb3e038897767c79d054467a6986d2085 (patch) | |
tree | 6ebd0c0e4d074bc7a97651e780c228014dccf42d /Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF | |
parent | derived feature -> partial relation bugfix (diff) | |
download | VIATRA-Generator-a993b72eb3e038897767c79d054467a6986d2085.tar.gz VIATRA-Generator-a993b72eb3e038897767c79d054467a6986d2085.tar.zst VIATRA-Generator-a993b72eb3e038897767c79d054467a6986d2085.zip |
Moved partial model management is moved to one project (+1 PM edge fix)
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.MF | 1 |
1 files changed, 0 insertions, 1 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 d4ff8fe9..037dbf52 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 | |||
@@ -18,7 +18,6 @@ Require-Bundle: org.eclipse.xtext, | |||
18 | hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", | 18 | hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", |
19 | hu.bme.mit.inf.dslreasoner.smt.reasoner;bundle-version="1.0.0", | 19 | hu.bme.mit.inf.dslreasoner.smt.reasoner;bundle-version="1.0.0", |
20 | hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", | 20 | hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", |
21 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic;bundle-version="1.0.0", | ||
22 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", | 21 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", |
23 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", | 22 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", |
24 | hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", | 23 | hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", |