| Sun, 29 Nov 2015 19:01:54 +0100 | nipkow | RBT invariants for insert | changeset | files |
| Sat, 28 Nov 2015 23:59:08 +0100 | wenzelm | removed junk; | changeset | files |
| Fri, 27 Nov 2015 19:00:27 +0100 | wenzelm | merged | changeset | files |
| Fri, 27 Nov 2015 18:59:47 +0100 | wenzelm | more reactive GUI; | changeset | files |
| 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 |