Thu, 10 Jul 2008 20:03:30 +0200 | wenzelm | added ProofGeneral.isar_kill_proof; | changeset | files |
Thu, 10 Jul 2008 20:03:28 +0200 | wenzelm | added Isar.init_point, Isar.kill; | changeset | files |
Thu, 10 Jul 2008 20:02:55 +0200 | wenzelm | export init_point; | changeset | files |
Thu, 10 Jul 2008 18:02:34 +0200 | wenzelm | added Isar.linear_undo; | changeset | files |
Thu, 10 Jul 2008 17:47:40 +0200 | wenzelm | tuned; | changeset | files |
Thu, 10 Jul 2008 17:43:02 +0200 | wenzelm | tty interaction: do not move point after error; | changeset | files |