| Mon, 12 Apr 2021 18:29:34 +0200 | wenzelm | clarified signature: avoid tmp file; | changeset | files |
| Mon, 12 Apr 2021 18:10:13 +0200 | wenzelm | clarified signature for Scala functions; | changeset | files |
| Mon, 12 Apr 2021 15:00:03 +0200 | wenzelm | clarified message output: flush already happens in write_message_yxml (see Isabelle/22b5ecb53dd9); | changeset | files |