wenzelm [Tue, 06 Sep 2022 21:06:20 +0200] rev 76074
clarified goal structure with proper instantiation of main goal, to support "show_goal_inst";
wenzelm [Tue, 06 Sep 2022 12:44:02 +0200] rev 76073
option "show_states" for more verbosity of batch-builds;
wenzelm [Tue, 06 Sep 2022 12:40:36 +0200] rev 76072
tuned --- avoid warnings;
wenzelm [Tue, 06 Sep 2022 12:25:57 +0200] rev 76071
proper antiquotations;
wenzelm [Tue, 06 Sep 2022 11:55:24 +0200] rev 76070
inline markup for Output.state (in contrast to c94bba7906d2): make messages available via Rendering.text_messages and thus "isabelle log" (see cb0c407fbc6e), while Rendering.output_messages of Isabelle/jEdit/VSCode is unaffected;
wenzelm [Mon, 05 Sep 2022 23:00:00 +0200] rev 76069
proper antiquotations;
wenzelm [Mon, 05 Sep 2022 22:47:09 +0200] rev 76068
clarified options, following e.g. "show_consts";
wenzelm [Mon, 05 Sep 2022 21:59:05 +0200] rev 76067
proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;