| 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 |
| Mon, 26 Jul 2010 14:44:07 +0200 | haftmann | quickcheck images of goals under registration morphisms | changeset | files |
| Mon, 26 Jul 2010 14:44:07 +0200 | haftmann | get_registrations interface | changeset | files |
| Mon, 26 Jul 2010 11:15:10 +0200 | haftmann | restored unusual snd-biased merge/join policy -- required due to non-conservative code setups | changeset | files |
| Mon, 26 Jul 2010 11:11:10 +0200 | haftmann | merged | changeset | files |
| Mon, 26 Jul 2010 11:10:57 +0200 | haftmann | reactivated Scala check | changeset | files |