| Tue, 28 Jul 2009 18:17:35 +0200 | wenzelm | Hilbert_Classical: sequential loading due to @{prf}, which joins within a critical section (via options); | changeset | files |
| Tue, 28 Jul 2009 16:30:23 +0200 | wenzelm | eliminated separate Future.enabled -- let Future.join fail explicitly in critical section, instead of entering sequential mode silently; | changeset | files |
| Tue, 28 Jul 2009 16:28:49 +0200 | wenzelm | non-critical use_thy; | changeset | files |
| Tue, 28 Jul 2009 15:10:15 +0200 | wenzelm | future result: Synchronized.var; | changeset | files |
| Tue, 28 Jul 2009 15:05:18 +0200 | wenzelm | added unsynchronized Synchronized.peek; | changeset | files |
| Tue, 28 Jul 2009 14:54:53 +0200 | wenzelm | group status: Synchronized.var; | changeset | files |