| Tue, 27 Jul 2010 23:01:42 +0200 | wenzelm | theory loader: removed obsolete touch/outdate operations (require_thy no longer changes the database implicitly); | changeset | files |
| Tue, 27 Jul 2010 22:42:53 +0200 | wenzelm | avoid repeated File.read for theory text (as before); | changeset | files |
| 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 |
| 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 |