Sun, 20 Dec 2015 12:50:48 +0100 | wenzelm | unused; | changeset | files |
Sun, 20 Dec 2015 12:48:56 +0100 | wenzelm | tuned; | changeset | files |
Sat, 19 Dec 2015 23:25:23 +0100 | wenzelm | prune old document versions more frequently, for reduced heap usage; | changeset | files |
Sat, 19 Dec 2015 23:19:10 +0100 | wenzelm | merged | changeset | files |
Sat, 19 Dec 2015 23:16:47 +0100 | wenzelm | more explicit Pretty.Tree, like in ML; | changeset | files |
Sat, 19 Dec 2015 22:25:01 +0100 | wenzelm | tuned; | changeset | files |
Sat, 19 Dec 2015 19:52:52 +0100 | wenzelm | clarified underlying datatypes; | changeset | files |