From 3f5aaab5025b8eb243f414b1c789085327df04f4 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 20 Mar 2019 16:09:09 +0100 Subject: Fault tree transformation for partial models WIP --- .../META-INF/MANIFEST.MF | 54 +++++++++++----------- 1 file changed, 27 insertions(+), 27 deletions(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application.ui/META-INF/MANIFEST.MF') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/META-INF/MANIFEST.MF b/Application/hu.bme.mit.inf.dslreasoner.application.ui/META-INF/MANIFEST.MF index df5caadc..5bb18f44 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application.ui/META-INF/MANIFEST.MF +++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/META-INF/MANIFEST.MF @@ -1,27 +1,27 @@ -Manifest-Version: 1.0 -Bundle-ManifestVersion: 2 -Bundle-Name: hu.bme.mit.inf.dslreasoner.application.ui -Bundle-Vendor: My Company -Bundle-Version: 1.0.0.qualifier -Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.application.ui; singleton:=true -Bundle-ActivationPolicy: lazy -Require-Bundle: hu.bme.mit.inf.dslreasoner.application, - hu.bme.mit.inf.dslreasoner.application.ide, - org.eclipse.xtext.ui, - org.eclipse.xtext.ui.shared, - org.eclipse.xtext.ui.codetemplates.ui, - org.eclipse.ui.editors;bundle-version="3.5.0", - org.eclipse.ui.ide;bundle-version="3.5.0", - org.eclipse.ui, - org.eclipse.compare, - org.eclipse.xtext.builder, - org.eclipse.xtend.lib;resolution:=optional, - org.eclipse.xtext.xbase.lib, - org.eclipse.viatra.addon.validation.runtime.ui;bundle-version="1.7.0" -Import-Package: org.apache.log4j -Bundle-RequiredExecutionEnvironment: JavaSE-1.8 -Export-Package: hu.bme.mit.inf.dslreasoner.application.ui.quickfix, - hu.bme.mit.inf.dslreasoner.application.ui.contentassist, - hu.bme.mit.inf.dslreasoner.application.ui.internal -Bundle-Activator: hu.bme.mit.inf.dslreasoner.application.ui.internal.ApplicationActivator -Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.application.ui +Manifest-Version: 1.0 +Bundle-ManifestVersion: 2 +Bundle-Name: hu.bme.mit.inf.dslreasoner.application.ui +Bundle-Vendor: My Company +Bundle-Version: 1.0.0.qualifier +Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.application.ui; singleton:=true +Bundle-ActivationPolicy: lazy +Require-Bundle: hu.bme.mit.inf.dslreasoner.application, + hu.bme.mit.inf.dslreasoner.application.ide, + org.eclipse.xtext.ui, + org.eclipse.xtext.ui.shared, + org.eclipse.xtext.ui.codetemplates.ui, + org.eclipse.ui.editors;bundle-version="3.5.0", + org.eclipse.ui.ide;bundle-version="3.5.0", + org.eclipse.ui, + org.eclipse.compare, + org.eclipse.xtext.builder, + org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional, + org.eclipse.xtext.xbase.lib;bundle-version="2.14.0", + org.eclipse.viatra.addon.validation.runtime.ui;bundle-version="1.7.0" +Import-Package: org.apache.log4j +Bundle-RequiredExecutionEnvironment: JavaSE-1.8 +Export-Package: hu.bme.mit.inf.dslreasoner.application.ui.quickfix, + hu.bme.mit.inf.dslreasoner.application.ui.contentassist, + hu.bme.mit.inf.dslreasoner.application.ui.internal +Bundle-Activator: hu.bme.mit.inf.dslreasoner.application.ui.internal.ApplicationActivator +Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.application.ui -- cgit v1.2.3-54-g00ecf