From 3e37643a0bc06842ac69ea2c42c193eba88161e5 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 17 Aug 2023 13:55:26 +0200
Subject: [PATCH] Reformat release history so newest release is directly
visible
The description text area in the Eclipse plugin install dialog is only
three lines tall by default, so this makes the newest entry visible
without scrolling.
---
org.eventb.texteditor.feature/feature.xml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index d5c066d..2b3ea9e 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -8,8 +8,7 @@
<description>
A text editor for the Rodin platform to edit Event-B models
------------------------------------------------------------
-Release History:
+--- Release History ---
3.5.0 - Compatibility with EventB-EMF 7.0.0 - fixes CamilleX dependency conflict. Fixed OOM error when top-level end keyword is missing.
3.4.1 - Internal updates to the build process - no visible changes.
3.4.0 - Release for Rodin 3.5 and related dependencies
--
GitLab