| Sun, 26 Nov 2017 13:19:52 +0100 | wenzelm | clarified lazy lexicons within Keywords: measurable speedup of Sessions.deps; | changeset | files |
| Sat, 25 Nov 2017 15:22:17 +0100 | wenzelm | macbroy2 is back, still pretending to be on Mavericks for better comparison of performance; | changeset | files |
| Sat, 25 Nov 2017 15:21:02 +0100 | wenzelm | Mac OS X 10.10 Yosemite is baseline; | changeset | files |
| Thu, 23 Nov 2017 17:03:27 +0000 | haftmann | generalized more lemmas | changeset | files |