wenzelm [Wed, 08 Mar 2023 11:26:46 +0100] rev 77578
support for "isabelle build -j0": require external workers to make progress;
wenzelm [Wed, 08 Mar 2023 10:47:32 +0100] rev 77577
follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and before);
blanchet [Wed, 08 Mar 2023 17:51:56 +0100] rev 77576
require the presence of free variables to do abduction in Sledgehammer
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;