wneuper [Thu, 17 Feb 2005 15:35:04 +0100] rev 2091
sml-050217a-fetchApplicableTactics now behaves like getTactic
wneuper [Tue, 15 Feb 2005 10:32:34 +0100] rev 2090
sml-050215a-interSteps: corrected an error
wneuper [Mon, 14 Feb 2005 17:19:42 +0100] rev 2089
isac.dtd updated with new tags INTERSTEPS, GETTACTIC,
GETASSUMPTIONS, GETACCUMULATEDASMS
wneuper [Mon, 14 Feb 2005 17:19:42 +0100] rev 2088
isac.dtd updated with new tags INTERSTEPS, GETTACTIC,
GETASSUMPTIONS, GETACCUMULATEDASMS
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