desharna [Wed, 27 Mar 2024 10:54:47 +0100] rev 80020
merged
desharna [Tue, 26 Mar 2024 09:33:33 +0100] rev 80019
renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal
wenzelm [Tue, 26 Mar 2024 21:44:18 +0100] rev 80018
more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);
wenzelm [Tue, 26 Mar 2024 21:34:08 +0100] rev 80017
more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
wenzelm [Tue, 26 Mar 2024 21:25:35 +0100] rev 80016
misc tuning for release;
wenzelm [Tue, 26 Mar 2024 21:16:47 +0100] rev 80015
merged;
wenzelm [Tue, 26 Mar 2024 21:09:46 +0100] rev 80014
NEWS for "isabelle go_setup";
wenzelm [Tue, 26 Mar 2024 21:04:43 +0100] rev 80013
proper platform_path for Windows;
wenzelm [Tue, 26 Mar 2024 20:58:01 +0100] rev 80012
misc tuning, following go_setup;
wenzelm [Tue, 26 Mar 2024 20:39:06 +0100] rev 80011
dynamic setup of Go component, similar to Dotnet;