1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: ca.mcgill.ecse.dslreasoner.vampire.language
Bundle-Vendor: My Company
Bundle-Version: 1.0.0.qualifier
Bundle-SymbolicName: ca.mcgill.ecse.dslreasoner.vampire.language; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: org.eclipse.xtext,
org.eclipse.xtext.xbase,
org.eclipse.equinox.common;bundle-version="3.5.0",
org.eclipse.emf.ecore,
org.eclipse.xtext.xbase.lib,
org.antlr.runtime,
org.eclipse.xtext.util,
org.eclipse.xtend.lib,
org.eclipse.emf.common
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Export-Package: ca.mcgill.ecse.dslreasoner.generator,
ca.mcgill.ecse.dslreasoner.parser.antlr,
ca.mcgill.ecse.dslreasoner.services,
ca.mcgill.ecse.dslreasoner.parser.antlr.internal,
ca.mcgill.ecse.dslreasoner,
ca.mcgill.ecse.dslreasoner.vampireLanguage,
ca.mcgill.ecse.dslreasoner.vampireLanguage.impl,
ca.mcgill.ecse.dslreasoner.serializer,
ca.mcgill.ecse.dslreasoner.validation,
ca.mcgill.ecse.dslreasoner.vampireLanguage.util,
ca.mcgill.ecse.dslreasoner.scoping,
ca.mcgill.ecse.dslreasoner.formatting2
Import-Package: org.apache.log4j
|