| Wed, 23 Jul 2014 11:53:34 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 23 Jul 2014 11:22:56 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 23 Jul 2014 11:19:24 +0200 | wenzelm | clarified module name: facilitate alternative GUI frameworks; | changeset | files |
| Wed, 23 Jul 2014 11:08:24 +0200 | wenzelm | proper change of perspective for removed nodes (stemming from closed buffers); | changeset | files |
| Wed, 23 Jul 2014 10:02:19 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 22 Jul 2014 22:18:50 +0200 | wenzelm | some robustification of console output; | changeset | files |