| Thu, 01 Sep 2011 14:10:52 +0200 | wenzelm | more flexible sorting; | changeset | files |
| Thu, 01 Sep 2011 13:39:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 01 Sep 2011 13:34:45 +0200 | wenzelm | more abstract Document.Node.Name; | changeset | files |
| Thu, 01 Sep 2011 11:33:44 +0200 | wenzelm | more careful treatment of interrupts, to retain them within forked/joined boundary of command transactions; | changeset | files |
| Wed, 31 Aug 2011 22:10:07 +0200 | wenzelm | crude display of node status; | changeset | files |
| Wed, 31 Aug 2011 20:47:33 +0200 | wenzelm | explicit cancel_execution before queueing new edits -- potential performance improvement for machines with few cores; | changeset | files |
| Wed, 31 Aug 2011 20:32:24 +0200 | wenzelm | explicit running_color; | changeset | files |