| Wed, 15 Sep 2010 12:11:11 +0200 | haftmann | more clear separation of static compilation and dynamic evaluation | changeset | files |
| Wed, 15 Sep 2010 16:06:52 +0200 | wenzelm | Document.async_state: some attempts to make this more robust wrt. cancelation of the main transaction -- avoid confusing feedback about pending forks; | changeset | files |
| Wed, 15 Sep 2010 16:04:40 +0200 | wenzelm | isatest: reactivated kodkodi and thus HOL-Nitpick_Examples -- being now on a local file system greatly increases the chance that it works; | changeset | files |
| Wed, 15 Sep 2010 12:16:08 +0200 | haftmann | merged | changeset | files |