isabelle: Changelog

paulson <lp15@cam.ac.uk> [Wed, 19 Oct 2022 13:41:42 +0100] rev 76339

deleted unused material

paulson <lp15@cam.ac.uk> [Wed, 19 Oct 2022 13:39:00 +0100] rev 76338

A bit of tidying

paulson [Tue, 18 Oct 2022 15:59:15 +0100] rev 76337

merged

paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2022 15:59:01 +0100] rev 76336

Slight tidying of legacy proofs

wenzelm [Tue, 18 Oct 2022 14:15:41 +0200] rev 76335

merged

wenzelm [Tue, 18 Oct 2022 11:31:35 +0200] rev 76334

update naproche component;

wenzelm [Tue, 18 Oct 2022 10:53:55 +0200] rev 76333

Added tag Isabelle2022-RC4 for changeset 8b4108f41c77

wenzelm [Mon, 17 Oct 2022 23:36:08 +0200] rev 76332

rebuild with proper Isabelle version;

wenzelm [Mon, 17 Oct 2022 23:30:31 +0200] rev 76331

removed junk;

wenzelm [Mon, 17 Oct 2022 22:39:44 +0200] rev 76330

more robust, e.g. for "isabelle dump";

isabelle