1 files changed, 27 insertions, 0 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..ba28b7ef
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF
@@ -0,0 +1,27 @@
+Manifest-Version: 1.0

+Bundle-ManifestVersion: 2

+Bundle-Name: hu.bme.mit.inf.dslreasoner.smt.language.ui

+Bundle-Vendor: My Company

+Bundle-Version: 1.0.0.qualifier

+Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.smt.language.ui; singleton:=true

+Bundle-ActivationPolicy: lazy

+Require-Bundle: hu.bme.mit.inf.dslreasoner.smt.language;visibility:=reexport,

+ org.eclipse.xtext.ui,

+ org.eclipse.ui.editors;bundle-version="3.5.0",

+ org.eclipse.ui.ide;bundle-version="3.5.0",

+ org.eclipse.xtext.ui.shared,

+ org.eclipse.ui,

+ org.eclipse.xtext.builder,

+ org.antlr.runtime,

+ org.eclipse.xtext.common.types.ui,

+ org.eclipse.xtext.ui.codetemplates.ui,

+ org.eclipse.compare,

+ org.eclipse.xtext.xbase.lib

+Import-Package: org.apache.log4j,

+ org.eclipse.xtext.xbase.lib

+Bundle-RequiredExecutionEnvironment: J2SE-1.5

+Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix,

+ hu.bme.mit.inf.dslreasoner.ui.contentassist,

+ hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr,

+ hu.bme.mit.inf.dslreasoner.ui.internal

+Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.SmtLanguageActivator