aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/META-INF/MANIFEST.MF
blob: f833c98385220704f2c03dfb9bba6575076fac12 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: ca.mcgill.ecse.dslreasoner.vampire.language.ide
Bundle-Vendor: My Company
Bundle-Version: 1.0.0.qualifier
Bundle-SymbolicName: ca.mcgill.ecse.dslreasoner.vampire.language.ide; singleton:=true
Bundle-ActivationPolicy: lazy
Require-Bundle: ca.mcgill.ecse.dslreasoner.vampire.language,
 org.eclipse.xtext.ide,
 org.eclipse.xtext.xbase.ide,
 org.antlr.runtime
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Export-Package: ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr,
 ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal