| Tue, 06 Sep 2022 12:44:02 +0200 | wenzelm | option "show_states" for more verbosity of batch-builds; | changeset | files |
| Tue, 06 Sep 2022 12:40:36 +0200 | wenzelm | tuned --- avoid warnings; | changeset | files |
| Tue, 06 Sep 2022 12:25:57 +0200 | wenzelm | proper antiquotations; | changeset | files |
| Tue, 06 Sep 2022 11:55:24 +0200 | wenzelm | 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; | changeset | files |
| Mon, 05 Sep 2022 23:00:00 +0200 | wenzelm | proper antiquotations; | changeset | files |
| Mon, 05 Sep 2022 22:47:09 +0200 | wenzelm | clarified options, following e.g. "show_consts"; | changeset | files |
| Mon, 05 Sep 2022 21:59:05 +0200 | wenzelm | proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination; | changeset | files |