remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32);

tuned;

more robust Markdown;

misc tuning; more text;

run "isabelle components_build -u";

remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";

tuned order;

more Setup_Tool services;

clarified signature;

proper SSH operations;

tuned signature: more permissive;

clarified signature: explicit variable is easier to find in source;

proper services for Setup_Tool --- avoid hardwired stuff;

merged

renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal

more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);

more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);

misc tuning for release;

merged;

NEWS for "isabelle go_setup";

proper platform_path for Windows;

misc tuning, following go_setup;

dynamic setup of Go component, similar to Dotnet;

tuned comments;