| 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 |