Mon, 14 Jul 2008 11:19:42 +0200 | wenzelm | command 'redo' no longer available; | changeset | files |
Mon, 14 Jul 2008 11:19:41 +0200 | wenzelm | replaced obsolete ProofHistory by ProofNode (backtracking only); | changeset | files |
Mon, 14 Jul 2008 11:19:40 +0200 | wenzelm | removed obsolete 'redo' command; | changeset | files |
Mon, 14 Jul 2008 11:19:39 +0200 | wenzelm | removed obsolete history commands; | changeset | files |
Mon, 14 Jul 2008 11:19:38 +0200 | wenzelm | Proof nodes with linear position and backtracking (replaces obsolete proof_history.ML). | changeset | files |
Mon, 14 Jul 2008 11:19:37 +0200 | wenzelm | obsolete (cf. proof_node.ML); | changeset | files |
Mon, 14 Jul 2008 11:19:36 +0200 | wenzelm | removed Isar/proof_history.ML; | changeset | files |
Mon, 14 Jul 2008 11:04:47 +0200 | haftmann | added further simple interfaces | changeset | files |