| Mon, 22 Oct 2018 12:22:18 +0200 | wenzelm | proper chapter; | file | diff | annotate |
| Wed, 17 Feb 2016 23:06:24 +0100 | wenzelm | SML/NJ is no longer supported; | file | diff | annotate |
| Sun, 21 Sep 2014 20:22:12 +0200 | wenzelm | renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH; | file | diff | annotate |
| Sat, 26 Apr 2014 21:37:09 +1000 | kleing | retired wwwfind | file | diff | annotate |
| Tue, 25 Mar 2014 14:52:35 +0100 | wenzelm | some SML examples; | file | diff | annotate |
| Fri, 23 Aug 2013 15:04:00 +0200 | wenzelm | missing ROOT (cf. beb4ee344c22); | file | diff | annotate |