| Sun, 27 Jul 2014 15:25:00 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 26 Jul 2014 19:19:19 +0200 | wenzelm | no -optimise -- produces bad bytecode; | changeset | files |
| Sat, 26 Jul 2014 14:52:54 +0200 | wenzelm | output state first -- avoid fluctuation wrt. warnings, errors, etc.; | changeset | files |