wneuper [Thu, 17 Feb 2005 15:35:04 +0100] rev 2094
sml-050217a-fetchApplicableTactics now behaves like getTactic
wneuper [Thu, 17 Feb 2005 15:35:04 +0100] rev 2093
sml-050217a-fetchApplicableTactics now behaves like getTactic
wneuper [Thu, 17 Feb 2005 15:35:04 +0100] rev 2092
sml-050217a-fetchApplicableTactics now behaves like getTactic
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