| 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 |
| Sat, 19 Dec 2015 10:59:14 +0100 | wenzelm | preserve break indentation; | changeset | files |
| Thu, 17 Dec 2015 17:32:01 +0100 | wenzelm | support pretty break indent, like underlying ML systems; | changeset | files |
| Sat, 19 Dec 2015 20:02:51 +0100 | blanchet | register record functions as 'Spec_Rules' | changeset | files |