| Sun, 20 Nov 2016 20:12:42 +0100 | wenzelm | more on "Formal scopes and semantic selection"; | changeset | files |
| Sun, 20 Nov 2016 19:08:14 +0100 | wenzelm | misc tuning and updates; | changeset | files |
| Sun, 20 Nov 2016 17:10:30 +0100 | wenzelm | more on JVM heap space; | changeset | files |
| Sun, 20 Nov 2016 16:22:32 +0100 | wenzelm | tuned; | changeset | files |