| Thu, 01 Mar 2012 14:48:28 +0100 | wenzelm | tuned proofs; | changeset | files |
| Thu, 01 Mar 2012 14:42:05 +0100 | wenzelm | more tolerant cygpath invocation, allow empty CLASSPATH; | changeset | files |
| 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 |