| Wed, 29 Jul 2009 00:09:14 +0200 | wenzelm | removed old global get_claset/map_claset; | changeset | files |
| Tue, 28 Jul 2009 20:03:58 +0200 | wenzelm | eliminated METAHYPS; | changeset | files |
| Tue, 28 Jul 2009 19:49:42 +0200 | wenzelm | Future.shutdown before loading sequentially -- workaround scheduler deadlock; | changeset | files |
| Tue, 28 Jul 2009 18:17:36 +0200 | wenzelm | ResAxioms.neg_conjecture_clauses: proper context; | changeset | files |
| Tue, 28 Jul 2009 18:17:35 +0200 | wenzelm | neg_conjecture_clauses, neg_clausify_tac: proper context, eliminated METAHYPS; | changeset | files |
| 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 |