| 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 |
| Sat, 19 Dec 2015 19:07:14 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 19 Dec 2015 15:31:53 +0100 | wenzelm | prefer default focus policy, like Output dockable; | changeset | files |
| Sat, 19 Dec 2015 15:20:38 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 19 Dec 2015 15:14:59 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 19 Dec 2015 14:47:52 +0100 | wenzelm | support for blocks with consistent breaks; | changeset | files |