| Tue, 15 Sep 2009 18:13:30 +0200 | wenzelm | tuned white space; | changeset | files |
| Tue, 15 Sep 2009 17:00:21 +0200 | wenzelm | misc tuning; | changeset | files |
| Tue, 15 Sep 2009 15:37:19 +0200 | wenzelm | handle_result: no special treatment of outer markup (it is now properly identified by the prover); | changeset | files |