| 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 |
| Wed, 13 Jun 2007 00:02:01 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 13 Jun 2007 00:02:00 +0200 | wenzelm | removed unused is_atomic; | changeset | files |
| Wed, 13 Jun 2007 00:01:59 +0200 | wenzelm | renamed prove_raw to prove_internal; | changeset | files |
| Wed, 13 Jun 2007 00:01:58 +0200 | wenzelm | merge/merge_refs: plain error instead of exception TERM; | changeset | files |