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.
update for release;
authorwenzelm
Tue, 25 Jul 2023 15:04:17 +0200
changeset 78455 127e4e952446
parent 78454 47d5e8be39a9
child 78460 0bd81d528598
child 78462 3023063833e4
update for release;
ANNOUNCE file | annotate | diff | comparison | revisions 
--- a/ANNOUNCE	Tue Jul 25 14:58:05 2023 +0200
+++ b/ANNOUNCE	Tue Jul 25 15:04:17 2023 +0200
@@ -24,6 +24,8 @@
 
 * System: more robust "isabelle sync" tool via bundled "rsync" executables.
 
+* System: "isabelle profiling" tool produces ML heap statistics.
+
 * Support for the Dotnet platform (.NET) and Fsharp (F#).
isabelle