| Thu, 23 Aug 2012 13:55:27 +0200 | wenzelm | clarified type Token.file; | changeset | files |
| Thu, 23 Aug 2012 13:31:00 +0200 | wenzelm | expand all files uniformly; | changeset | files |
| Thu, 23 Aug 2012 13:26:27 +0200 | wenzelm | added build option -l (list files); | changeset | files |