Preparing release 7.4.3

rensink · rensink · commit cdd04e6786b6 · 2025-04-21T14:58:28.000+02:00
diff --git a/release/include/CHANGES.md b/release/include/CHANGES.md
@@ -3,9 +3,15 @@ GROOVE Change Log
 
 This document describes the major changes in the GROOVE tool set
 
+Release 7.4.3, 21 April 2025
+-------------------------------
+- Improved exploration for recipes in the absence of parameters
+- GTS exploration bound & acceptor now disregards inner states & steps
+
+
 Release 7.4.2, 20 April 2025
 -------------------------------
-- GTS export as control program now treats final result state as final
+- GTS export as control program now treats ultimate result state as final
 
 Release 7.4.1, 18 April 2025
 -------------------------------
diff --git a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD
@@ -1 +1 @@
-20250420
+20250421
diff --git a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION
@@ -1 +1 @@
-7.4.2
+7.4.3
