| Wed, 31 Aug 2011 19:52:13 +0200 | wenzelm | tuned join_commands: avoid traversing cumulative table; | changeset | files |
| Wed, 31 Aug 2011 17:36:10 +0200 | wenzelm | some support for theory status overview; | changeset | files |
| Wed, 31 Aug 2011 17:22:49 +0200 | wenzelm | tuned Commands_Changed: cover nodes as well; | changeset | files |