| Wed, 04 Aug 2010 16:11:51 +0200 | wenzelm | load_thy/after_load: explicit check of parent theories, which might have failed to join proofs -- avoid uninformative crash via Graph.UNDEF; | changeset | files |
| Wed, 04 Aug 2010 15:50:55 +0200 | wenzelm | export use_thys_wrt; | changeset | files |
| Wed, 04 Aug 2010 15:45:49 +0200 | wenzelm | more precise CRITICAL sections, using NAMED_CRITICAL uniformly; | changeset | files |
| Wed, 04 Aug 2010 15:14:48 +0200 | wenzelm | updated to Netbeans 6.9; | changeset | files |
| Wed, 04 Aug 2010 14:46:17 +0200 | wenzelm | schedule_futures: discontinued special treatment of non-parallel proofs, which might have affected memory usage at some point, but does not seem to make a difference with as little as 2GB RAM; | changeset | files |
| Tue, 03 Aug 2010 22:28:43 +0200 | wenzelm | more precise CRITICAL sections; | changeset | files |