Sun, 08 Oct 2023 21:15:13 +0200 | wenzelm | update documentation on Isabelle/ML exceptions; | file | diff | annotate |
Sun, 08 Oct 2023 19:17:41 +0200 | wenzelm | misc tuning; | file | diff | annotate |
Mon, 25 Sep 2023 18:45:41 +0200 | wenzelm | clarified signature: avoid association with potentially dangerous Exn.capture; | file | diff | annotate |
Thu, 21 Sep 2023 23:45:03 +0200 | wenzelm | clarified modules; | file | diff | annotate |
Sat, 22 Apr 2023 20:55:05 +0200 | wenzelm | provide ML antiquotation "if_none": non-strict version of "the_default"; | file | diff | annotate |
Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
Sat, 25 Jun 2022 10:27:42 +0200 | wenzelm | more documentation; | file | diff | annotate |