# HG changeset patch
# User wenzelm
# Date 1691931977 -7200
# Node ID f5d7ed37f06ae2258dbf3f84683fd1de98f85c75
# Parent  fd8e1bbc0686d0b7f34ef8c6c7d5c92a0867f713
avoid confusion: this is merely about "isabelle dotnet_setup", no codegen yet;

diff -r fd8e1bbc0686 -r f5d7ed37f06a ANNOUNCE
--- a/ANNOUNCE	Thu Aug 10 20:42:18 2023 +0200
+++ b/ANNOUNCE	Sun Aug 13 15:06:17 2023 +0200
@@ -28,7 +28,6 @@
 
 * System: "isabelle profiling" tool produces ML heap statistics.
 
-* Support for the Dotnet platform (.NET) and Fsharp (F#).
 
 
 You may get Isabelle2023 from the following mirror sites: