| Wed, 13 Jun 2007 00:02:04 +0200 | wenzelm | tuned msg; | changeset | files |
| Wed, 13 Jun 2007 00:02:03 +0200 | wenzelm | apply_method/end_proof: pass position; | changeset | files |
| Wed, 13 Jun 2007 00:02:02 +0200 | wenzelm | renamed map to map_current; | changeset | files |