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

.gitattributes

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