| 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 |