| Fri, 27 Nov 2015 18:47:39 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 27 Nov 2015 18:01:13 +0100 | nipkow | paint root black after insert and delete | changeset | files |
| Wed, 25 Nov 2015 15:58:22 +0100 | wenzelm | observe option "indent"; | changeset | files |
| Tue, 24 Nov 2015 23:17:03 +0100 | wenzelm | more scalable GUI; | changeset | files |