| Fri, 27 Jul 2012 14:15:04 +0200 | wenzelm | delete other log file; | changeset | files |
| Fri, 27 Jul 2012 14:09:59 +0200 | wenzelm | simplified Path vs. JVM File operations; | changeset | files |
| Fri, 27 Jul 2012 13:33:34 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 27 Jul 2012 13:17:12 +0200 | wenzelm | tuned messages; | changeset | files |
| Fri, 27 Jul 2012 13:15:12 +0200 | wenzelm | fewer options; | changeset | files |
| Fri, 27 Jul 2012 13:08:46 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 27 Jul 2012 13:01:19 +0200 | wenzelm | prefer explicit datatype Present.dump_mode; | changeset | files |