| Fri, 21 Aug 2015 16:47:57 +0200 | wenzelm | updated to jdk-8u60, with support for x86_64-windows; | changeset | files |
| Fri, 21 Aug 2015 15:02:42 +0200 | wenzelm | updated to recent launch4j 3.8; | changeset | files |
| Thu, 20 Aug 2015 21:14:58 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 20 Aug 2015 21:08:47 +0200 | wenzelm | clarified modules, like ML version; | changeset | files |
| Thu, 20 Aug 2015 20:36:06 +0200 | wenzelm | clarified modules, like ML version; | changeset | files |
| Thu, 20 Aug 2015 19:33:26 +0200 | wenzelm | suppress small CPU time, notably on x86-windows, where bash does not account for the poly process; | changeset | files |
| Thu, 20 Aug 2015 19:19:19 +0200 | wenzelm | obsolete; | changeset | files |
| Thu, 20 Aug 2015 19:15:17 +0200 | wenzelm | tuned signature, according to ML version; | changeset | files |