diff --git a/release/include/CHANGES.md b/release/include/CHANGES.md index 3d0f41e3d..17d5479b6 100644 --- a/release/include/CHANGES.md +++ b/release/include/CHANGES.md @@ -3,6 +3,13 @@ GROOVE Change Log This document describes the major changes in the GROOVE tool set +Release 6.9.0, 20 July 2024 +------------------------------- +- Added .dot export as well as .gcp export for LTSs +- "halt" added to control language (hence minor version update) +- Refactored the Im-/Exporter library +- Bug fixes: GH issues #78, #783 #788-#791 + Release 6.8.4, 10 July 2024 ------------------------------- - Errors in property keys now reported by highlighting and switching diff --git a/src/main/java/nl/utwente/groove/util/Version.java b/src/main/java/nl/utwente/groove/util/Version.java index 748aaf764..7cc386746 100644 --- a/src/main/java/nl/utwente/groove/util/Version.java +++ b/src/main/java/nl/utwente/groove/util/Version.java @@ -131,7 +131,7 @@ private static String read(String filename) { * @return the latest grammar version. */ public static String getCurrentGrammarVersion() { - return GRAMMAR_VERSION_3_10; + return GRAMMAR_VERSION_3_11; } /** @@ -315,4 +315,9 @@ public static int compareGrammarVersions(String version1, String version2) { * {@code false}. */ public static final String GRAMMAR_VERSION_3_10 = "3.10"; + /** + * This is the grammar version introduced with Groove version 6.9.0. + * The {@code halt} keyword was added to the control language. + */ + public static final String GRAMMAR_VERSION_3_11 = "3.11"; } diff --git a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD index f785be7f9..83e0fd5a4 100644 --- a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD +++ b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD @@ -1 +1 @@ -20240710 \ No newline at end of file +20240720 \ No newline at end of file diff --git a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION index 9ffc8cfb6..97f578152 100644 --- a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION +++ b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION @@ -1 +1 @@ -6.8.4 +6.9.0