| Thu, 05 Sep 2024 17:39:45 +0200 | wenzelm | clarified signature: type ML_Pretty.pretty coincides with PolyML.pretty; | file | diff | annotate |
| Sun, 13 Nov 2022 21:59:19 +0100 | wenzelm | tuned output; | file | diff | annotate |
| Sun, 13 Nov 2022 20:28:39 +0100 | wenzelm | ML support for the Prism.js syntax highlighter -- via Isabelle/Scala; | file | diff | annotate |