| Mon, 27 Nov 2017 10:04:17 +0100 | wenzelm | updated documentation: JVM is always 64bit; | changeset | files |
| Sun, 26 Nov 2017 21:08:32 +0100 | wenzelm | more symbols; | changeset | files |
| Sun, 26 Nov 2017 13:19:52 +0100 | wenzelm | clarified lazy lexicons within Keywords: measurable speedup of Sessions.deps; | changeset | files |