Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Camille
Manage
Activity
Members
Labels
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Model registry
Help
Help
Support
GitLab documentation
Compare GitLab plans
GitLab community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
Camille
Commits
01d02e98
Commit
01d02e98
authored
2 years ago
by
dgelessus
Browse files
Options
Downloads
Patches
Plain Diff
Fix bad line wrapping in feature.xml
parent
42523729
No related branches found
No related tags found
No related merge requests found
Changes
1
Show whitespace changes
Inline
Side-by-side
Showing
1 changed file
org.eventb.texteditor.feature/feature.xml
+55
-71
55 additions, 71 deletions
org.eventb.texteditor.feature/feature.xml
with
55 additions
and
71 deletions
org.eventb.texteditor.feature/feature.xml
+
55
−
71
View file @
01d02e98
...
@@ -14,28 +14,20 @@ Release History:
...
@@ -14,28 +14,20 @@ Release History:
3.4.0 - Release for Rodin 3.5 and related dependencies
3.4.0 - Release for Rodin 3.5 and related dependencies
3.3.0 - Compatibility with core 3.3
3.3.0 - Compatibility with core 3.3
3.2.0 - Rodin 3.2 compatible release
3.2.0 - Rodin 3.2 compatible release
3.1.2 - Fix some more bugs regarding theory parsing, fix saving
3.1.2 - Fix some more bugs regarding theory parsing, fix saving changes to seen contexts.
changes to seen contexts.
3.1.1 - Fix parsing of theory operators with more than one operand
3.1.1 - Fix parsing of theory operators with more than one operand
3.1.0 - Initial release for Rodin 3.1
3.1.0 - Initial release for Rodin 3.1
3.0.3 - Fix bugs / regressions intruduces by the Rodin 3.0 migration
3.0.3 - Fix bugs / regressions intruduces by the Rodin 3.0 migration
3.0.2 - First release automatically build by Jenkins from the
3.0.2 - First release automatically build by Jenkins from the GitHub repository
GitHub repository
3.0.1 - Added patches from 2.2.0 to the Rodin Release
3.0.1 - Added patches from 2.2.0 to the Rodin Release
3.0.0 - Rodin 3.0 Release
3.0.0 - Rodin 3.0 Release
2.2.0 - Theorem in guards. Order of sets and constants changed
2.2.0 - Theorem in guards. Order of sets and constants changed to be consistent with the Rodin editor.
to be consistent with the Rodin editor.
2.1.4 - Be more generous regarding Rodin compatibility
2.1.4 - Be more generous regarding Rodin compatibility
2.1.3 - Bugfix release for Bug #3305107 (NPE after renaming a
2.1.3 - Bugfix release for Bug #3305107 (NPE after renaming a machine)
machine)
2.1.0.beta - Rodin 2.1.1 release compatible with EventB-EMF Framework 3.3.0 (emf-compare 1.1.2)
2.1.0.beta - Rodin 2.1.1 release compatible with EventB-EMF Framework
3.3.0
(emf-compare 1.1.2)
2.0.1 - Rodin 2.0 release
2.0.1 - Rodin 2.0 release
2.0.0 - Rodin 1.3.1 release compatible with
2.0.0 - Rodin 1.3.1 release compatible with EventB-EMF-plugin v3.1.0
EventB-EMF-plugin v3.1.0
1.1.7 - Rodin 1.3 release (dependency to new EventB-EMF-plugin 2.0.0)
1.1.7 - Rodin 1.3 release (dependency to new EventB-EMF-plugin
2.0.0)
1.1.6 - Rodin 1.3 bug-fix release
1.1.6 - Rodin 1.3 bug-fix release
1.1.5 - Rodin 1.3 release
1.1.5 - Rodin 1.3 release
1.1.4 - Rodin 1.2 bug-fix release (dependency to old EventB-EMF-plugin)
1.1.4 - Rodin 1.2 bug-fix release (dependency to old EventB-EMF-plugin)
...
@@ -53,50 +45,42 @@ All rights reserved.
...
@@ -53,50 +45,42 @@ All rights reserved.
<license>
<license>
RODIN SOFTWARE USER AGREEMENT
RODIN SOFTWARE USER AGREEMENT
June 1, 2006
June 1, 2006
Usage Of Content
Usage Of Content
THE RODIN PROJECT MAKES AVAILABLE SOFTWARE, DOCUMENTATION, INFORMATION
THE RODIN PROJECT MAKES AVAILABLE SOFTWARE, DOCUMENTATION, INFORMATION
AND/OR OTHER MATERIALS FOR OPEN SOURCE PROJECTS (COLLECTIVELY
AND/OR OTHER MATERIALS FOR OPEN SOURCE PROJECTS (COLLECTIVELY
"
CONTENT
"
). USE OF THE CONTENT IS GOVERNED BY THE TERMS AND
"
CONTENT
"
). USE OF THE CONTENT IS GOVERNED BY THE TERMS AND
CONDITIONS OF THIS AGREEMENT AND/OR THE TERMS AND CONDITIONS
CONDITIONS OF THIS AGREEMENT AND/OR THE TERMS AND CONDITIONS OF
OF
LICENSE AGREEMENTS OR NOTICES INDICATED OR REFERENCED BELOW. BY USING
LICENSE AGREEMENTS OR NOTICES INDICATED OR REFERENCED BELOW.
THE CONTENT, YOU AGREE THAT YOUR USE OF THE CONTENT IS GOVERNED BY
BY USING
THE CONTENT, YOU AGREE THAT YOUR USE OF THE CONTENT IS GOVERNED
BY
THIS AGREEMENT AND/OR THE TERMS AND CONDITIONS OF ANY APPLICABLE
THIS AGREEMENT AND/OR THE TERMS AND CONDITIONS OF ANY APPLICABLE
LICENSE AGREEMENTS OR NOTICES INDICATED OR REFERENCED BELOW.
LICENSE AGREEMENTS OR NOTICES INDICATED OR REFERENCED BELOW. IF YOU
IF YOU
DO NOT AGREE TO THE TERMS AND CONDITIONS OF THIS AGREEMENT AND THE
DO NOT AGREE TO THE TERMS AND CONDITIONS OF THIS AGREEMENT AND
TERMS AND CONDITIONS OF ANY APPLICABLE LICENSE AGREEMENTS OR NOTICES
THE
TERMS AND CONDITIONS OF ANY APPLICABLE LICENSE AGREEMENTS OR
NOTICES
INDICATED OR REFERENCED BELOW, THEN YOU MAY NOT USE THE CONTENT.
INDICATED OR REFERENCED BELOW, THEN YOU MAY NOT USE THE CONTENT.
Applicable Licenses
Applicable Licenses
Unless otherwise indicated, all Content made available by the
Rodin
Unless otherwise indicated, all Content made available by the Rodin
Project is provided to you under the terms and conditions of
Project is provided to you under the terms and conditions of the
the
Eclipse Public License Version 1.0 (
"
EPL
"
). A copy of the EPL is
Eclipse Public License Version 1.0 (
"
EPL
"
). A copy of the EPL
is
provided with this Content and is also available at
provided with this Content and is also available at
http://www.eclipse.org/legal/epl-v10.html. For purposes of the
http://www.eclipse.org/legal/epl-v10.html. For purposes of the EPL,
EPL,
"
Program
"
will mean the Content.
"
Program
"
will mean the Content.
Content includes, but is not limited to, source code, object
code,
Content includes, but is not limited to, source code, object code,
documentation and other files maintained in the Rodin SourceForge
documentation and other files maintained in the Rodin SourceForge CVS
CVS
repository (
"
Repository
"
) in CVS modules (
"
Modules
"
) and made
repository (
"
Repository
"
) in CVS modules (
"
Modules
"
) and made
available as downloadable archives (
"
Downloads
"
).
available as downloadable archives (
"
Downloads
"
).
- Content may be structured and packaged into modules to facilitate
- Content may be structured and packaged into modules to facilitate
delivering, extending, and upgrading the Content. Typical modules
delivering, extending, and upgrading the Content. Typical modules
may include plug-ins (
"
Plug-ins
"
), plug-in fragments
may include plug-ins (
"
Plug-ins
"
), plug-in fragments
(
"
Fragments
"
), and features (
"
Features
"
).
(
"
Fragments
"
), and features (
"
Features
"
).
- Each Plug-in or Fragment may be packaged as a sub-directory
- Each Plug-in or Fragment may be packaged as a sub-directory or JAR
or JAR
(Java(TM) ARchive) in a directory named
"
plugins
"
.
(Java(TM) ARchive) in a directory named
"
plugins
"
.
- A Feature is a bundle of one or more Plug-ins and/or Fragments
- A Feature is a bundle of one or more Plug-ins and/or Fragments and
and
associated material. Each Feature may be packaged as a
associated material. Each Feature may be packaged as a
sub-directory in a directory named
"
features
"
. Within a Feature,
sub-directory in a directory named
"
features
"
. Within a Feature,
files named
"
feature.xml
"
may contain a list of the names and
files named
"
feature.xml
"
may contain a list of the names and
...
@@ -106,64 +90,64 @@ that Feature.
...
@@ -106,64 +90,64 @@ that Feature.
Features
"
). Within a Feature, files named
"
feature.xml
"
may
Features
"
). Within a Feature, files named
"
feature.xml
"
may
contain a list of the names and version numbers of Included
contain a list of the names and version numbers of Included
Features.
Features.
The terms and conditions governing Plug-ins and Fragments should
be
The terms and conditions governing Plug-ins and Fragments should
be
contained in files named
"
about.html
"
(
"
Abouts
"
). The terms and
contained in files named
"
about.html
"
(
"
Abouts
"
). The terms and
conditions governing Features and Included Features should be
conditions governing Features and Included Features should be
contained in files named
"
license.html
"
(
"
Feature Licenses
"
).
contained in files named
"
license.html
"
(
"
Feature Licenses
"
). Abouts
Abouts
and Feature Licenses may be located in any directory of a Download or
and Feature Licenses may be located in any directory of a Download
or
Module including, but not limited to the following locations:
Module including, but not limited to the following locations:
- The top-level (root) directory
- The top-level (root) directory
- Plug-in and Fragment directories
- Plug-in and Fragment directories
- Inside Plug-ins and Fragments packaged as JARs
- Inside Plug-ins and Fragments packaged as JARs
- Sub-directories of the directory named
"
src
"
of certain Plug-ins
- Sub-directories of the directory named
"
src
"
of certain Plug-ins
- Feature directories
- Feature directories
Note: if a Feature made available by the Rodin Project is installed
Note: if a Feature made available by the Rodin Project is installed
using the Eclipse Update Manager, you must agree to a license
using the Eclipse Update Manager, you must agree to a license
(
"
Feature Update License
"
) during the installation process.
(
"
Feature Update License
"
) during the installation process. If the
If the
Feature contains Included Features, the Feature Update License should
Feature contains Included Features, the Feature Update License
should
either provide you with the terms and conditions governing the
either provide you with the terms and conditions governing the
Included Features or inform you where you can locate them. Feature
Included Features or inform you where you can locate them. Feature
Update Licenses may be found in the
"
license
"
property of files
Update Licenses may be found in the
"
license
"
property of files named
named
"
feature.properties
"
found within a Feature. Such Abouts, Feature
"
feature.properties
"
found within a Feature. Such Abouts, Feature
Licenses, and Feature Update Licenses contain the terms and conditions
Licenses, and Feature Update Licenses contain the terms and conditions
(or references to such terms and conditions) that govern your
(or references to such terms and conditions) that govern your use of
use of
the associated Content in that directory.
the associated Content in that directory.
THE ABOUTS, FEATURE LICENSES, AND FEATURE UPDATE LICENSES MAY
REFER TO
THE ABOUTS, FEATURE LICENSES, AND FEATURE UPDATE LICENSES MAY
REFER TO
THE EPL OR OTHER LICENSE AGREEMENTS, NOTICES OR TERMS AND CONDITIONS.
THE EPL OR OTHER LICENSE AGREEMENTS, NOTICES OR TERMS AND CONDITIONS.
SOME OF THESE OTHER LICENSE AGREEMENTS MAY INCLUDE (BUT ARE NOT
SOME OF THESE OTHER LICENSE AGREEMENTS MAY INCLUDE (BUT ARE NOT
LIMITED TO):
LIMITED TO):
- Common Public License Version 1.0 (available at http://www.eclipse.org/legal/cpl-v10.html)
- Common Public License Version 1.0 (available at http://www.eclipse.org/legal/cpl-v10.html)
- Apache Software License 1.1 (available at http://www.apache.org/licenses/LICENSE)
- Apache Software License 1.1 (available at http://www.apache.org/licenses/LICENSE)
- Apache Software License 2.0 (available at http://www.apache.org/licenses/LICENSE-2.0)
- Apache Software License 2.0 (available at http://www.apache.org/licenses/LICENSE-2.0)
- IBM Public License 1.0 (available at http://oss.software.ibm.com/developerworks/opensource/license10.html)
- IBM Public License 1.0 (available at http://oss.software.ibm.com/developerworks/opensource/license10.html)
- Metro Link Public License 1.00 (available at http://www.opengroup.org/openmotif/supporters/metrolink/license.html)
- Metro Link Public License 1.00 (available at http://www.opengroup.org/openmotif/supporters/metrolink/license.html)
- Mozilla Public License Version 1.1 (available at http://www.mozilla.org/MPL/MPL-1.1.html)
- Mozilla Public License Version 1.1 (available at http://www.mozilla.org/MPL/MPL-1.1.html)
IT IS YOUR OBLIGATION TO READ AND ACCEPT ALL SUCH TERMS AND CONDITIONS
IT IS YOUR OBLIGATION TO READ AND ACCEPT ALL SUCH TERMS AND CONDITIONS
PRIOR TO USE OF THE CONTENT. If no About, Feature License, or
PRIOR TO USE OF THE CONTENT. If no About, Feature License, or Feature
Feature
Update License is provided, please contact the Rodin Project to
Update License is provided, please contact the Rodin Project
to
determine what terms and conditions govern that particular
determine what terms and conditions govern that particular
Content.
Content.
Cryptography
Cryptography
Content may contain encryption software. The country in which
you are
Content may contain encryption software. The country in which you are
currently may have restrictions on the import, possession, and
currently may have restrictions on the import, possession, and use,
use,
and/or re-export to another country, of encryption software. BEFORE
and/or re-export to another country, of encryption software.
BEFORE
using any encryption software, please check the country
'
s laws,
using any encryption software, please check the country
'
s laws,
regulations and policies concerning the import, possession, or
regulations and policies concerning the import, possession, or use,
use,
and re-export of encryption software, to see if this is permitted.
and re-export of encryption software, to see if this is permitted.
Java and all Java-based trademarks are trademarks of Sun Microsystems,
Java and all Java-based trademarks are trademarks of Sun Microsystems,
Inc. in the United States, other countries, or both.
Inc. in the United States, other countries, or both.
</license>
</license>
...
...
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment