nipkow [Fri, 08 Nov 2024 11:18:08 +0100] rev 81359
tuned
nipkow [Thu, 07 Nov 2024 16:21:57 +0100] rev 81358
better termination behaviour
nipkow [Wed, 06 Nov 2024 18:10:39 +0100] rev 81357
uniform name T_f for closed-form lemmas for function T_f
nipkow [Wed, 06 Nov 2024 16:27:06 +0100] rev 81356
More time for primitive functions
nipkow [Wed, 06 Nov 2024 16:19:45 +0100] rev 81355
merged Reverse into Time_Funs
wenzelm [Tue, 05 Nov 2024 23:51:44 +0100] rev 81354
tuned proofs;
wenzelm [Tue, 05 Nov 2024 23:45:39 +0100] rev 81353
tuned description: plain text documentation is also supported;
wenzelm [Tue, 05 Nov 2024 23:27:47 +0100] rev 81352
merged
wenzelm [Tue, 05 Nov 2024 23:01:09 +0100] rev 81351
update to jdk-21.0.5;
enforce rebuild of Isabelle/ML and Isabelle/Scala;
wenzelm [Tue, 05 Nov 2024 22:05:50 +0100] rev 81350
misc tuning and clarification: Doc.Entry supports both plain files and pdf documents;
recover plain file support from 488c7e8923b2;