| Thu, 01 Mar 2012 14:12:18 +0100 | wenzelm | explicitly revoke delay, to avoid spurious timer events after deactivation of related components; | changeset | files |
| Thu, 01 Mar 2012 11:28:33 +0100 | wenzelm | clarified document nodes (full import graph) vs. node_status (non-preloaded theories); | changeset | files |
| Wed, 29 Feb 2012 23:31:35 +0100 | wenzelm | more defensive node_header; | changeset | files |