isabelle: Changelog

wenzelm [Wed, 05 Feb 2025 12:11:13 +0100] rev 82084

misc tuning;

wenzelm [Wed, 05 Feb 2025 12:00:14 +0100] rev 82083

tuned Isabelle/ML: more uniform semicolons;

wenzelm [Wed, 05 Feb 2025 11:55:51 +0100] rev 82082

clarified signature: scalable Bash.input thanks to Bytes.T;

nipkow [Thu, 06 Feb 2025 14:46:49 +0100] rev 82081

added time_partial_function command

paulson <lp15@cam.ac.uk> [Wed, 05 Feb 2025 16:34:56 +0000] rev 82080

A couple of theorems proved by Manuel Eberl from his AFP entry Sum_Of_Squares_Count

wenzelm [Tue, 04 Feb 2025 22:21:36 +0100] rev 82079

tuned;

wenzelm [Tue, 04 Feb 2025 22:12:06 +0100] rev 82078

tuned;

wenzelm [Tue, 04 Feb 2025 22:04:12 +0100] rev 82077

tuned signature;

wenzelm [Tue, 04 Feb 2025 20:32:15 +0100] rev 82076

proper Path.print for user output (amending 9498623b27f0);

wenzelm [Tue, 04 Feb 2025 21:50:15 +0100] rev 82075

tuned signature: more concise access to context data;

isabelle