isabelle: Summary

Mon, 30 Jan 2023 15:24:25 +0000	paulson	merged default tip	changeset \| files
Mon, 30 Jan 2023 15:24:17 +0000	paulson	Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl	changeset \| files
Mon, 30 Jan 2023 15:02:38 +0100	wenzelm	observe option "show_states" in headless server (see also 951abf9db857);	changeset \| files
Mon, 30 Jan 2023 10:15:01 +0100	nipkow	text correction	changeset \| files
Sun, 29 Jan 2023 16:49:17 +0100	wenzelm	enable clean_components by default: it saves a lot of local disk space, notably on virtual nodes;	changeset \| files
Sat, 28 Jan 2023 22:31:40 +0100	wenzelm	merged	changeset \| files
Sat, 28 Jan 2023 22:29:24 +0100	wenzelm	removed somewhat pointless support for Jenkins log files: it has stopped working long ago;	changeset \| files
Sat, 28 Jan 2023 21:40:06 +0100	wenzelm	more uniform components context for the managing "self_isabelle" and the managed "other_isabelle";	changeset \| files
Sat, 28 Jan 2023 21:32:33 +0100	wenzelm	tuned signature;	changeset \| files
Sat, 28 Jan 2023 21:29:28 +0100	wenzelm	more operations;	changeset \| files
...

Mon, 30 Jan 2023 15:24:25 +0000	default	changeset \| changelog \| files
...

isabelle