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;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE79094d7b6f22: proper antiquotations;
- Branches
- Unknown
- Tags