wneuper [Sun, 20 Feb 2005 13:55:25 +0100] rev 2109
sml-050219c-cappend: old cut_tree, tests ok;
before passing pos_ through cappend_*
wneuper [Sat, 19 Feb 2005 23:34:39 +0100] rev 2108
sml-050219b-cappend: old cut_tree, tests ok;
new cut_tree kept; see S(602)
wneuper [Sat, 19 Feb 2005 18:57:29 +0100] rev 2107
sml-050219a-cappend: old cut_tree, tests ok
before testing new cappend
wneuper [Fri, 18 Feb 2005 17:56:07 +0100] rev 2106
all-050218-menuComplete: intermediateSteps, getTactic,
getApplicableTactics, getAssumptions, getAccumulated...
wneuper [Fri, 18 Feb 2005 17:56:07 +0100] rev 2105
all-050218-menuComplete: intermediateSteps, getTactic,
getApplicableTactics, getAssumptions, getAccumulated...
wneuper [Fri, 18 Feb 2005 17:56:07 +0100] rev 2104
all-050218-menuComplete: intermediateSteps, getTactic,
getApplicableTactics, getAssumptions, getAccumulated...
wneuper [Thu, 17 Feb 2005 18:36:51 +0100] rev 2103
sml-050217a-fetchApplicableTactics missing (dummy) scope added
wneuper [Thu, 17 Feb 2005 16:34:16 +0100] rev 2102
all-050217b-ASM-2 intermediate dev.step
auto, next, TestAll OK
wneuper [Thu, 17 Feb 2005 16:34:16 +0100] rev 2101
all-050217b-ASM-2 intermediate dev.step
auto, next, TestAll OK
wneuper [Thu, 17 Feb 2005 16:34:16 +0100] rev 2100
all-050217b-ASM-2 intermediate dev.step
auto, next, TestAll OK