| Sat, 24 May 2014 21:27:15 +0200 | wenzelm | clarified copy_file: allow to rename base name, e.g. relevant for 'display_drafts'; | changeset | files |
| Sat, 24 May 2014 20:24:43 +0200 | wenzelm | support for regular Windows TeX installation; | changeset | files |
| Sat, 24 May 2014 20:07:26 +0200 | wenzelm | more portable file names; | changeset | files |