diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml index 0c4d9a77c6c73952b2f8dd9b65e0bd1df6a06338..0c65a20bf9c6cc5d8965cd477a7090eb96e996ae 100644 --- a/org.eventb.texteditor.feature/feature.xml +++ b/org.eventb.texteditor.feature/feature.xml @@ -10,6 +10,7 @@ A text editor for the Rodin platform to edit Event-B models ----------------------------------------------------------- Release History: +3.4.1 - Internal updates to the build process - no visible changes. 3.4.0 - Release for Rodin 3.5 and related dependencies 3.3.0 - Compatibility with core 3.3 3.2.0 - Rodin 3.2 compatible release @@ -45,7 +46,7 @@ EventB-EMF-plugin v3.1.0 </description> <copyright> - Copyright (c) 2009-2018 Heinrich-Heine University Dusseldorf. + Copyright (c) 2009-2023 Heinrich-Heine University Dusseldorf. All rights reserved. </copyright>