| Wed, 30 Sep 2015 21:32:44 +0200 | wenzelm | renamed jvmpath to platform_path; | file | diff | annotate |
| Thu, 09 Oct 2014 11:15:03 +0200 | wenzelm | prefer Unix standard-conformant $TMPDIR over hard-wired /tmp; | file | diff | annotate |
| Sat, 24 May 2014 19:15:04 +0200 | wenzelm | more portable -- accomodate MiKTeX on Windows; | file | diff | annotate |