| Tue, 01 Mar 2016 21:10:29 +0100 | wenzelm | load secure.ML earlier; | file | diff | annotate |
| Tue, 01 Mar 2016 19:42:59 +0100 | wenzelm | ML debugger support in Pure (again, see 3565c9f407ec); | file | diff | annotate |
| Mon, 29 Feb 2016 16:29:52 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 29 Feb 2016 15:39:17 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 29 Feb 2016 15:23:13 +0100 | wenzelm | clarified ML heap operations; | file | diff | annotate |
| Sun, 28 Feb 2016 21:25:55 +0100 | wenzelm | clarified; | file | diff | annotate |
| Sun, 28 Feb 2016 21:20:51 +0100 | wenzelm | support only polyml-5.3.0 and polyml-5.6; | file | diff | annotate |
| Tue, 23 Feb 2016 16:20:12 +0100 | wenzelm | support for polyml-git ec49a49972c5 (branch FixedPrecisionInt); | file | diff | annotate |
| Thu, 18 Feb 2016 23:10:28 +0100 | wenzelm | unconditional Multithreading; | file | diff | annotate |
| Wed, 17 Feb 2016 23:28:58 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 17 Feb 2016 23:06:24 +0100 | wenzelm | SML/NJ is no longer supported; | file | diff | annotate |
| Wed, 06 Jan 2016 10:20:33 +0100 | wenzelm | clarified ROOT files; | file | diff | annotate | base |