| Mon, 19 Sep 2011 22:42:57 +0200 | wenzelm | refined Symbol.is_symbolic -- cover recoded versions as well; | changeset | files |
| Mon, 19 Sep 2011 22:13:51 +0200 | wenzelm | double clicks switch to document node buffer; | changeset | files |
| Mon, 19 Sep 2011 21:53:07 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 19 Sep 2011 21:41:48 +0200 | wenzelm | explicit border independent of UI (cf. ad5883642a83, 2bec3b7514cf); | changeset | files |