| Tue, 25 Jan 2011 22:15:03 +0100 | wenzelm | merged | changeset | files |
| Tue, 25 Jan 2011 14:06:43 +0100 | wenzelm | do not restore old files on startup, which is potentially slow due to automatic rechecking; | changeset | files |
| Tue, 25 Jan 2011 21:26:25 +0100 | wenzelm | singleton (sequential) execution, to avoid race conditions in theory loader state (e.g. when multiple independent theories import the same theory); | changeset | files |