| Wed, 10 Aug 2011 14:28:55 +0200 | wenzelm | synchronized cancel and flushing of Multithreading.interrupted state, to ensure that interrupts stay within task boundaries; | changeset | files |
| Wed, 10 Aug 2011 14:04:45 +0200 | wenzelm | tuned source structure; | changeset | files |
| Wed, 10 Aug 2011 10:59:37 +0200 | wenzelm | bash_output_fifo blocks on Cygwin 1.7.x; | changeset | files |
| Tue, 09 Aug 2011 23:54:17 +0200 | berghofe | rename_bvs now avoids introducing name clashes between schematic variables | changeset | files |
| Tue, 09 Aug 2011 22:37:33 +0200 | wenzelm | merged | changeset | files |
| Tue, 09 Aug 2011 20:24:48 +0200 | haftmann | tuned proofs | changeset | files |