isabelle: Changelog

nipkow [Wed, 08 Mar 2023 10:12:41 +0100] rev 77575

removed exercise solution

nipkow [Wed, 08 Mar 2023 08:10:22 +0100] rev 77574

merged

nipkow [Wed, 08 Mar 2023 08:10:10 +0100] rev 77573

new theory Tree_Rotations

wenzelm [Tue, 07 Mar 2023 23:32:59 +0100] rev 77572

proper tool name (amending cbb49fe8e5a2);

wenzelm [Tue, 07 Mar 2023 23:26:02 +0100] rev 77571

proper file-name (amending b975f5aaf6b8);

wenzelm [Tue, 07 Mar 2023 23:24:40 +0100] rev 77570

tuned headers;

wenzelm [Tue, 07 Mar 2023 23:09:30 +0100] rev 77569

eliminated suspicious Unicode characters;

wenzelm [Tue, 07 Mar 2023 23:08:14 +0100] rev 77568

tuned whitespace;

wenzelm [Tue, 07 Mar 2023 23:02:52 +0100] rev 77567

renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to "isabelle build");

wenzelm [Tue, 07 Mar 2023 22:54:44 +0100] rev 77566

renamed administrative tools to build Isabelle components (unrelated to "isabelle build");

isabelle