wenzelm [Mon, 14 Jul 2008 11:19:42 +0200] rev 27565
command 'redo' no longer available;
wenzelm [Mon, 14 Jul 2008 11:19:41 +0200] rev 27564
replaced obsolete ProofHistory by ProofNode (backtracking only);
wenzelm [Mon, 14 Jul 2008 11:19:40 +0200] rev 27563
removed obsolete 'redo' command;
cannot_undo: global history;
tuned;
wenzelm [Mon, 14 Jul 2008 11:19:39 +0200] rev 27562
removed obsolete history commands;
moved back, cannot_undo to isar_syn.ML;
wenzelm [Mon, 14 Jul 2008 11:19:38 +0200] rev 27561
Proof nodes with linear position and backtracking (replaces obsolete proof_history.ML).
wenzelm [Mon, 14 Jul 2008 11:19:37 +0200] rev 27560
obsolete (cf. proof_node.ML);
wenzelm [Mon, 14 Jul 2008 11:19:36 +0200] rev 27559
removed Isar/proof_history.ML;
added Isar/proof_node.ML
haftmann [Mon, 14 Jul 2008 11:04:47 +0200] rev 27558
added further simple interfaces
haftmann [Mon, 14 Jul 2008 11:04:46 +0200] rev 27557
simpsets as pre/postprocessors; generic preprocessor now named function transformators
haftmann [Mon, 14 Jul 2008 11:04:42 +0200] rev 27556
unified curried gcd, lcm, zgcd, zlcm