| Tue, 27 Jul 2010 22:00:26 +0200 | wenzelm | simplified/clarified theory loader: more explicit task management, kill old versions at start, commit results only in the very end, non-optional master dependency, do not store text in deps; | changeset | files |
| Tue, 27 Jul 2010 12:59:22 +0200 | wenzelm | more precise stats; | changeset | files |
| Mon, 26 Jul 2010 18:25:19 +0200 | wenzelm | merged | changeset | files |