| Sat, 22 Oct 2016 12:34:58 +0200 | wenzelm | regular user tool; | changeset | files |
| Sat, 22 Oct 2016 12:34:17 +0200 | wenzelm | avoid deprecated Scala; | changeset | files |
| Fri, 21 Oct 2016 21:03:17 +0200 | wenzelm | minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process; | changeset | files |
| Fri, 21 Oct 2016 20:58:51 +0200 | wenzelm | misc tuning and updates; | changeset | files |
| Fri, 21 Oct 2016 20:49:40 +0200 | wenzelm | clarified default args; | changeset | files |
| Fri, 21 Oct 2016 18:18:26 +0200 | wenzelm | speculative support for latest Mac OS X versions -- no reference systems yet; | changeset | files |