isabelle: Changelog

wenzelm [Wed, 01 Feb 2023 20:57:15 +0100] rev 77173

clarified terminology of inlined "PROGRAM START" messages;

wenzelm [Wed, 01 Feb 2023 20:21:33 +0100] rev 77172

isabelle update -u cite -l "";

wenzelm [Wed, 01 Feb 2023 20:07:13 +0100] rev 77171

less ambitious parallelism: avoid exhaustion of memory (40GB total);

wenzelm [Wed, 01 Feb 2023 15:39:48 +0100] rev 77170

clarified GUI;

wenzelm [Wed, 01 Feb 2023 13:50:53 +0100] rev 77169

clarified GUI: omit pointless search buttons, as real output is shown as markup;

wenzelm [Wed, 01 Feb 2023 10:54:29 +0100] rev 77168

more uniform use of Symbol.output, even in situations where its Symbol.encode is usually redundant;

paulson [Wed, 01 Feb 2023 12:43:39 +0000] rev 77167

merged

paulson <lp15@cam.ac.uk> [Wed, 01 Feb 2023 12:43:33 +0000] rev 77166

More new material thanks to Manuel

nipkow [Wed, 01 Feb 2023 09:14:40 +0100] rev 77165

merged

nipkow [Wed, 01 Feb 2023 09:14:26 +0100] rev 77164

tuning

isabelle