Commit d5614e59 authored by Levi Lucio's avatar Levi Lucio
Browse files

removed current objective from project panel

refs 3026
parent 3816df66
......@@ -14,7 +14,8 @@ Require-Bundle: org.eclipse.core.runtime,
org.fortiss.af3.expression;visibility:=reexport;bundle-version="2.11.0",
org.fortiss.af3.project;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.af3.generator.common;visibility:=reexport
Export-Package: org.fortiss.af3.tools,
org.fortiss.af3.tools.base,
org.fortiss.af3.tools.cprover.model,
......
......@@ -17,104 +17,91 @@
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/module"
class="org.fortiss.af3.tools.nusmv.model.module.AF3NuSMVModulePackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.module.AF3NuSMVModulePackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/run"
class="org.fortiss.af3.tools.nusmv.model.run.AF3NuSMVRunPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.run.AF3NuSMVRunPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/types"
class="org.fortiss.af3.tools.nusmv.model.types.AF3NuSMVTypesPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.types.AF3NuSMVTypesPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/assign"
class="org.fortiss.af3.tools.nusmv.model.assign.AF3NuSMVAssignPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.assign.AF3NuSMVAssignPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/spec"
class="org.fortiss.af3.tools.nusmv.model.spec.AF3NuSMVSpecPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.spec.AF3NuSMVSpecPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/cpp"
class="org.fortiss.af3.tools.nusmv.model.cpp.AF3NuSMVCppPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.cpp.AF3NuSMVCppPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/define"
class="org.fortiss.af3.tools.nusmv.model.define.AF3NuSMVDefinePackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.define.AF3NuSMVDefinePackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/exp"
class="org.fortiss.af3.tools.nusmv.model.exp.AF3NuSMVExpPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.exp.AF3NuSMVExpPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/ltlspec"
class="org.fortiss.af3.tools.nusmv.model.ltlspec.AF3NuSMVLTLSpecPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.ltlspec.AF3NuSMVLTLSpecPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/operators"
class="org.fortiss.af3.tools.nusmv.model.operators.AF3NuSMVOperatorsPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.operators.AF3NuSMVOperatorsPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/constraints"
class="org.fortiss.af3.tools.nusmv.model.constraints.AF3NuSMVConstraintsPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.constraints.AF3NuSMVConstraintsPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/constants"
class="org.fortiss.af3.tools.nusmv.model.constants.AF3NuSMVConstantsPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.constants.AF3NuSMVConstantsPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated nusmv -->
<package
uri="http://www.fortiss.org/af3/tools/nusmv/trans"
class="org.fortiss.af3.tools.nusmv.model.trans.AF3NuSMVTransPackage"
genModel="model/nusmv.genmodel"/>
class="org.fortiss.af3.tools.nusmv.model.trans.AF3NuSMVTransPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated yices -->
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment