| Thu, 05 Sep 2024 17:39:45 +0200 |
wenzelm |
clarified signature: type ML_Pretty.pretty coincides with PolyML.pretty;
|
file |
diff |
annotate
|
| Tue, 17 Oct 2023 12:10:58 +0200 |
wenzelm |
tuned signature, following Isabelle/Scala;
|
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 12:22:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 11 Oct 2023 11:59:24 +0200 |
wenzelm |
proper Exn.capture / Isabelle_Thread.try_catch;
|
file |
diff |
annotate
|
| Wed, 11 Oct 2023 11:27:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 11 Oct 2023 10:46:50 +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
|
| Mon, 25 Sep 2023 21:58:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2023 21:46:38 +0200 |
wenzelm |
clarified modules;
|
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
|
| Thu, 21 Sep 2023 18:14:28 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|