| 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 |
| Tue, 09 Aug 2011 18:52:18 +0200 | haftmann | merged | changeset | files |
| Tue, 09 Aug 2011 08:07:22 +0200 | haftmann | tuned header | changeset | files |