| Thu, 27 Jul 2023 07:08:32 +0200 | nipkow | merged | changeset | files |
| Wed, 26 Jul 2023 21:03:57 +0200 | nipkow | added mbox-like latex sugar | changeset | files |
| Wed, 26 Jul 2023 20:28:35 +0200 | wenzelm | Added tag Isabelle2023-RC2 for changeset 53b59fa42696 | changeset | files |
| Wed, 26 Jul 2023 20:15:31 +0200 | wenzelm | prefer Output.writeln for theory "results", as opposed to Output.state for genuine proof states (see f8c412a45af8, c668735fb8b5, ecf80e37ed1a); | changeset | files |