Sun, 20 Dec 2015 13:11:47 +0100 | wenzelm | tuned signature; | changeset | files |
Sun, 20 Dec 2015 13:06:26 +0100 | wenzelm | renamed Pretty.str_of to Pretty.unformatted_string_of to emphasize its meaning; | changeset | files |
Sun, 20 Dec 2015 13:03:41 +0100 | wenzelm | proper formatting via Pretty.string_of; | changeset | files |
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 |