| Tue, 04 Sep 2012 00:16:03 +0200 | wenzelm | enable parallel terminal proofs in interaction; | changeset | files |
| Mon, 03 Sep 2012 23:03:54 +0200 | wenzelm | misc tuning; | changeset | files |
| Mon, 03 Sep 2012 22:51:33 +0200 | wenzelm | merged | changeset | files |
| Mon, 03 Sep 2012 18:12:59 +0200 | traytel | killed internal output | changeset | files |