wneuper [Mon, 14 Feb 2005 17:18:03 +0100] rev 2087
sml-050214b-INTERSTEPS: xml corrected
(before was DETAILSTEP)
wneuper [Mon, 14 Feb 2005 17:18:03 +0100] rev 2086
sml-050214b-INTERSTEPS: xml corrected
(before was DETAILSTEP)
wneuper [Mon, 14 Feb 2005 16:27:24 +0100] rev 2085
sml-050214a-intermediateSteps ... version:
still flaws in interSteps, cut_tree
wneuper [Fri, 11 Feb 2005 18:29:35 +0100] rev 2084
sml-050211d-replaceFormula: flaw repaired in this function
wneuper [Fri, 11 Feb 2005 18:15:10 +0100] rev 2083
sml-050211c-menu-finished:
intermediateSteps, getTactic, fetchApplicableTactics,
getAssumptions, getAccumulatedAsms
wneuper [Fri, 11 Feb 2005 17:06:17 +0100] rev 2082
sml050211b
wneuper [Fri, 11 Feb 2005 17:06:17 +0100] rev 2081
sml050211b
wneuper [Fri, 11 Feb 2005 17:06:17 +0100] rev 2080
sml050211b
wneuper [Thu, 10 Feb 2005 18:56:48 +0100] rev 2079
sml-050210d
wneuper [Thu, 10 Feb 2005 18:56:48 +0100] rev 2078
sml-050210d