diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-16 01:41:23 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:06:27 -0400 |
| commit | 07073f142e982a1b9fb08255c8eb74d18dbf7a34 (patch) | |
| tree | c9c4220ab68a21ef7652a5aef2f76146f00f9fb0 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/META-INF/MANIFEST.MF | |
| parent | Initial workspace setup (diff) | |
| download | VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.tar.gz VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.tar.zst VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.zip | |
FAM MM transformation works
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/META-INF/MANIFEST.MF')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/META-INF/MANIFEST.MF | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/META-INF/MANIFEST.MF b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/META-INF/MANIFEST.MF index cd3d4799..77c42047 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/META-INF/MANIFEST.MF +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/META-INF/MANIFEST.MF | |||
| @@ -25,5 +25,6 @@ Export-Package: ca.mcgill.ecse.dslreasoner.generator, | |||
| 25 | ca.mcgill.ecse.dslreasoner.serializer, | 25 | ca.mcgill.ecse.dslreasoner.serializer, |
| 26 | ca.mcgill.ecse.dslreasoner.validation, | 26 | ca.mcgill.ecse.dslreasoner.validation, |
| 27 | ca.mcgill.ecse.dslreasoner.vampireLanguage.util, | 27 | ca.mcgill.ecse.dslreasoner.vampireLanguage.util, |
| 28 | ca.mcgill.ecse.dslreasoner.scoping | 28 | ca.mcgill.ecse.dslreasoner.scoping, |
| 29 | ca.mcgill.ecse.dslreasoner.formatting2 | ||
| 29 | Import-Package: org.apache.log4j | 30 | Import-Package: org.apache.log4j |