| 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 |
| Tue, 03 Aug 2010 21:34:38 +0200 | wenzelm | removed unused Update_Time data (cf. ac94ff28e9e1); | changeset | files |
| Tue, 03 Aug 2010 18:52:42 +0200 | wenzelm | modernized specifications; | changeset | files |