Skip to content
Snippets Groups Projects
Select Git revision
  • bf57a3e2d8759172e6714ca62d73c80d8f766724
  • develop default protected
  • master protected
  • 1.2.2
  • 1.2.1
  • 1.2.0
  • 1.1.0
  • 1.0.5
  • 1.0.4
  • 1.0.3
  • 1.0.2
  • 1.0.0
12 results

Makefile

Blame
  • 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.9.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