Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MLton lacks arm64-linux (see also 84f2d481d6d7);
authorwenzelm
Mon, 25 Mar 2024 20:48:10 +0100
changeset 79993 2dcbf5cbc7a1
parent 79992 205bad84a1bd
child 79994 9b532f064649
MLton lacks arm64-linux (see also 84f2d481d6d7);
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Mar 25 20:42:10 2024 +0100
+++ b/NEWS	Mon Mar 25 20:48:10 2024 +0100
@@ -21,6 +21,7 @@
 
   - Z3
   - CVC4
+  - MLton
   - Nunchaku + smbc (experimental)
isabelle