Skip to content
Snippets Groups Projects
Select Git revision
  • c57861cfa068f7ceb41a1f69df23fd05a1d1fa30
  • master default protected
  • 3.8.0
  • 3.7.0
  • 3.6.0
  • 3.5.0
  • 3.4.0
  • 3.3.0
  • 3.2.1
  • 3.2.0
10 results

MANIFEST.MF

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    MANIFEST.MF 1.17 KiB 
    Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: %pluginName
Bundle-SymbolicName: org.eventb.core.ast;singleton:=true
Bundle-Version: 3.5.0.qualifier
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Export-Package: org.eventb.core.ast,
 org.eventb.core.ast.datatype,
 org.eventb.core.ast.expanders,
 org.eventb.core.ast.extension,
 org.eventb.internal.core.ast;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.ast.datatype;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.ast.extension;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.ast.wd;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.lexer;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.parser;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.parser.operators;x-friends:="org.eventb.core.ast.tests",
 org.eventb.internal.core.typecheck;x-friends:="org.eventb.core.ast.tests"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-Activator: org.eventb.internal.core.ast.ASTPlugin
Require-Bundle: org.eclipse.core.runtime
Eclipse-ExtensibleAPI: true
Automatic-Module-Name: org.eventb.core.ast