| Thu, 05 Sep 2024 17:39:45 +0200 | wenzelm | clarified signature: type ML_Pretty.pretty coincides with PolyML.pretty; | file | diff | annotate |
| Wed, 29 Nov 2023 15:32:42 +0100 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Wed, 29 Nov 2023 15:29:54 +0100 | wenzelm | more compact representation; | file | diff | annotate |
| Wed, 29 Nov 2023 13:05:57 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 29 Nov 2023 11:54:12 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 29 Nov 2023 00:07:54 +0100 | wenzelm | compact representation of sets of integers; | file | diff | annotate |