| Tue, 27 Jul 2010 22:23:32 +0200 | wenzelm | tuned messages and comments; | changeset | files |
| Tue, 27 Jul 2010 22:15:51 +0200 | wenzelm | simplified Thy_Header.read -- include Source.of_string_limited here; | changeset | files |
| 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 |