Skip to content
Snippets Groups Projects
Select Git revision
  • bdc3b1ce6c55e86efdf0a02b10bf852c7bcf74a2
  • 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

MF

Blame
  • user avatar
    Michael Leuschel authored
    bdc3b1ce
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    MF 889 B
    Manifest-Version: 1.0
    Bundle-ManifestVersion: 2
    Bundle-Name: ProB Ui Plug-in
    Bundle-SymbolicName: de.prob.ui;singleton:=true
    Bundle-Version: 7.4.2.qualifier
    Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
     org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
     org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
     org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
     de.prob.core;bundle-version="[9.4.0,9.5.0)",
     org.eventb.core;bundle-version="[3.0.0,4.0.0)",
     org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)",
     org.eclipse.gef;bundle-version="[3.7.0,4.0.0)",
     org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
     org.rodinp.core;bundle-version="[1.7.0,1.8.0)"
    Bundle-ActivationPolicy: lazy
    Bundle-Vendor: HHU Düsseldorf STUPS Group
    Bundle-Activator: de.prob.ui.ProbUiPlugin
    Bundle-RequiredExecutionEnvironment: JavaSE-1.8
    Export-Package: de.prob.ui