| 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 |