| Sat, 04 Sep 2010 21:10:39 +0200 | haftmann | added more explicit warning | changeset | files |
| Mon, 06 Sep 2010 00:08:47 +0200 | wenzelm | ML_Context.ml_store_thm(s): operate on thread context instead of Unsynchronized.ref; | changeset | files |
| Sun, 05 Sep 2010 23:31:12 +0200 | wenzelm | use setmp_noncritical for PGIP, which is presumably sequential (PG clone); | changeset | files |
| Sun, 05 Sep 2010 23:26:16 +0200 | wenzelm | use setmp_noncritical for sequential Pure bootstrap; | changeset | files |