src/sml/systest/ctree.sml
Fri, 25 Feb 2005 14:41:38 +0100 sml-050225c: intermediate in cut_levup
Fri, 25 Feb 2005 09:56:31 +0100 sml-050225b: after reorganisation of code in ME/ctree, all tests ok;
Fri, 25 Feb 2005 09:27:10 +0100 sml-050225a: before reorganisation of code in ME/ctree
Tue, 22 Feb 2005 17:03:43 +0100 sml-050222a-move_dn1: intermediate state for new get_allpos
Mon, 21 Feb 2005 19:01:35 +0100 sml-050221-get_allpos: tests OK,
Sun, 20 Feb 2005 13:55:25 +0100 sml-050219c-cappend: old cut_tree, tests ok;
Sat, 19 Feb 2005 23:34:39 +0100 sml-050219b-cappend: old cut_tree, tests ok;
Sat, 19 Feb 2005 18:57:29 +0100 sml-050219a-cappend: old cut_tree, tests ok
Fri, 11 Feb 2005 17:06:17 +0100 sml050211b
Thu, 10 Feb 2005 18:56:48 +0100 sml-050210d
Thu, 10 Feb 2005 16:16:09 +0100 sml-050210b
Thu, 10 Feb 2005 15:08:40 +0100 version sml-050210a-before-asms
Tue, 08 Feb 2005 18:33:15 +0100 sml_050208b_interSteps: int intermediateSteps(CalcIterator)
Sun, 16 Jan 2005 21:15:01 +0100 sml: tests appenFormula, replaceFormula almost ok
Fri, 17 Dec 2004 14:53:48 +0100 getTactic added;
Fri, 29 Oct 2004 17:14:03 +0200 *** empty log message ***
Sat, 23 Oct 2004 10:28:20 +0200 *** empty log message ***
Wed, 20 Oct 2004 16:01:33 +0200 *** empty log message ***
Mon, 05 Jun 2006 17:39:08 +0200 work on rule-set's auto-generated scripts for interSteps;
Sat, 11 Mar 2006 17:51:13 +0100 encode and decode "^^^"<--->"^" at the kernels interface,
Thu, 15 Dec 2005 19:38:29 +0100 move_dn changed: observes Res =?= Frm.nxt
Mon, 19 Sep 2005 20:34:18 +0200 'handle_leaf' intermediate