new version and news update

melsman · Oct 1, 2023 · 855248b · 855248b
1 parent 11bc226
commit 855248b
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/NEWS.md b/NEWS.md
@@ -1,5 +1,15 @@
 ## MLKit NEWS
 
+### MLKit version 4.7.4 is released
+
+* mael 2023-10-01: Improved basis library documentation.
+
+* mael 2023-10-01: Initial support for explicit region and effect
+  annotations, including constraints on function invocations. The
+  modified source language, which we call ReML (a Standard ML program
+  is also a ReML program) is enabled with the -er flag. Examples are
+  available in the test/explicit_regions folder.
+
 * mael 2023-04-27: Generate position-independent machine code.
 
 ### MLKit version 4.7.3 is released

diff --git a/configure.ac b/configure.ac
@@ -1,4 +1,4 @@
-AC_INIT(MLKit, [v4.7.3])
+AC_INIT(MLKit, [v4.7.4])
 AC_CONFIG_HEADERS([src/config.h])
 AC_REVISION($Revision$)
 AC_CONFIG_FILES([src/Runtime/Makefile