wenzelm [Sun, 06 Aug 2023 23:44:50 +0200] rev 78483
update to polyml-219e0a248f70, with more robust support for ARM64;
wenzelm [Sun, 06 Aug 2023 22:40:12 +0200] rev 78482
tuned generated README;
paulson [Sun, 06 Aug 2023 19:00:06 +0100] rev 78481
merged
paulson <lp15@cam.ac.uk> [Sun, 06 Aug 2023 18:29:09 +0100] rev 78480
Tidied up more messy proofs
wenzelm [Sun, 06 Aug 2023 16:01:11 +0200] rev 78479
hints on "hg bisect";
wenzelm [Sun, 06 Aug 2023 14:48:25 +0200] rev 78478
no hardwired timeout in Isabelle distribution (unlike on AFP): reverting part of 74c75da4cb01 -- without further tinkering it breaks isabelle_cronjob builds;
paulson <lp15@cam.ac.uk> [Fri, 04 Aug 2023 19:17:49 +0200] rev 78477
Removal of ugly old proofs
paulson [Thu, 03 Aug 2023 19:10:43 +0200] rev 78476
merged
paulson <lp15@cam.ac.uk> [Thu, 03 Aug 2023 19:10:36 +0200] rev 78475
More cosmetic changes
paulson <lp15@cam.ac.uk> [Thu, 27 Jul 2023 23:05:25 +0100] rev 78474
Cosmetic polishing of proofs
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Tue, 01 Aug 2023 11:27:55 +0200] rev 78473
remove debug printing
nipkow [Thu, 27 Jul 2023 07:08:32 +0200] rev 78472
merged
nipkow [Wed, 26 Jul 2023 21:03:57 +0200] rev 78471
added mbox-like latex sugar
wenzelm [Wed, 26 Jul 2023 20:28:35 +0200] rev 78470
Added tag Isabelle2023-RC2 for changeset 53b59fa42696
wenzelm [Wed, 26 Jul 2023 20:15:31 +0200] rev 78469
prefer Output.writeln for theory "results", as opposed to Output.state for genuine proof states (see f8c412a45af8, c668735fb8b5, ecf80e37ed1a);