wneuper [Mon, 21 Feb 2005 19:02:39 +0100] rev 2114
sml-050221-get_allpos: mit ctreeNEW.sml, tests OK,
weil cut_tree etc. auskommentiert
wneuper [Mon, 21 Feb 2005 19:02:39 +0100] rev 2113
sml-050221-get_allpos: mit ctreeNEW.sml, tests OK,
weil cut_tree etc. auskommentiert
wneuper [Mon, 21 Feb 2005 19:01:35 +0100] rev 2112
sml-050221-get_allpos: tests OK,
weil cut_tree etc. auskommentiert
akirchst [Mon, 21 Feb 2005 09:19:22 +0100] rev 2111
message for CalcEvent
akirchst [Mon, 21 Feb 2005 09:19:22 +0100] rev 2110
message for CalcEvent
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...