| Thu, 05 Sep 2024 17:39:45 +0200 | wenzelm | clarified signature: type ML_Pretty.pretty coincides with PolyML.pretty; | file | diff | annotate |
| Thu, 12 Oct 2023 14:59:59 +0200 | wenzelm | further clarification of Exn.is_interrupt_proper vs. overall Exn.is_interrupt; | file | diff | annotate |
| Wed, 11 Oct 2023 11:27:01 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 26 Sep 2023 14:42:33 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 26 Sep 2023 12:46:31 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 05 Aug 2020 12:42:43 +0200 | wenzelm | more robust: insist in finished future; | file | diff | annotate |
| Thu, 06 Sep 2018 14:08:35 +0200 | wenzelm | simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments; | file | diff | annotate |