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