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

plugin.properties

Blame
    • user avatar
    Update to Rodin 3.7 sources
    dgelessus authored
    acebf907
    History
    user avatar acebf907
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    plugin.properties 678 B 
    ###############################################################################
# Copyright (c) 2005, 2022 ETH Zurich and others.
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Eclipse Public License v1.0
# which accompanies this distribution, and is available at
# http://www.eclipse.org/legal/epl-v10.html
#
# Contributors:
#     ETH Zurich - initial API and implementation
#     Systerel - mathematical language V2
#     Systerel - mathematical extensions
###############################################################################
providerName = ETH Zurich
pluginName = Event-B Abstract Syntax Tree Plug-in