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", |