Skip to content
Snippets Groups Projects
Select Git revision
  • d9f15b1d57973d3fc4809033fa75a222b6f2707f
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

MANIFEST.MF

    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    MANIFEST.MF 670 B 
    Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: ProB Symbolic Evaluation Support
Bundle-SymbolicName: de.prob.symbolic;singleton:=true
Bundle-Version: 7.4.3.qualifier
Bundle-Activator: de.prob.symbolic.Activator
Require-Bundle: org.eclipse.core.runtime,
 de.prob.core;bundle-version="[9.4.5,9.5.0)",
 org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
 de.prob.ui;bundle-version="[7.4.3,7.5.0)",
 org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
 org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
 org.eventb.core;bundle-version="[3.0.0,4.0.0)"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-Vendor: HHU Düsseldorf STUPS Group