| Sun, 27 Jul 2014 15:44:08 +0200 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Sun, 27 Jul 2014 15:29:42 +0200 | wenzelm | tuned; | changeset | files |
| 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 |