From b4a2a60429a2fe97bcd0bf4d7c23ee56714e0fd4 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 17 Aug 2023 13:47:34 +0200
Subject: [PATCH] Add release history entry for version 3.5.0

---
 org.eventb.texteditor.feature/feature.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 6c6a104..d5c066d 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.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
 3.3.0 - Compatibility with core 3.3
-- 
GitLab