src/sml/systest/FE-interface.sml
Thu, 17 Feb 2005 18:36:51 +0100 sml-050217a-fetchApplicableTactics missing (dummy) scope added
Thu, 17 Feb 2005 15:35:04 +0100 sml-050217a-fetchApplicableTactics now behaves like getTactic
Tue, 15 Feb 2005 10:32:34 +0100 sml-050215a-interSteps: corrected an error
Mon, 14 Feb 2005 16:27:24 +0100 sml-050214a-intermediateSteps ... version:
Fri, 11 Feb 2005 18:15:10 +0100 sml-050211c-menu-finished:
Fri, 11 Feb 2005 17:06:17 +0100 sml050211b
Thu, 10 Feb 2005 16:16:09 +0100 sml-050210b
Tue, 08 Feb 2005 18:33:15 +0100 sml_050208b_interSteps: int intermediateSteps(CalcIterator)
Tue, 08 Feb 2005 11:24:55 +0100 sml with GETELEMENTSFROMTO via shell-cmd
Fri, 04 Feb 2005 14:22:17 +0100 java: CalcFormula extends Formula with Position
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, 08 Oct 2004 16:52:16 +0200 *** empty log message ***
Tue, 31 Aug 2004 13:22:15 +0200 *** empty log message ***
Thu, 24 Jun 2004 22:02:54 +0200 *** empty log message ***
Wed, 07 Apr 2004 15:11:33 +0200 *** empty log message ***
Tue, 23 Mar 2004 18:13:45 +0100 *** empty log message ***
Fri, 19 Mar 2004 17:02:38 +0100 *** empty log message ***
Tue, 16 Mar 2004 15:21:53 +0100 *** empty log message ***
Sun, 07 Mar 2004 19:08:32 +0100 *** empty log message ***
Mon, 09 Feb 2004 19:46:32 +0100 *** empty log message ***
Sun, 21 Dec 2003 23:52:50 +0100 *** empty log message ***
Wed, 17 Dec 2003 10:54:41 +0100 *** empty log message ***
Sat, 13 Dec 2003 15:53:14 +0100 *** empty log message ***
Mon, 08 Dec 2003 17:11:48 +0100 *** empty log message ***
Mon, 17 Nov 2003 20:03:49 +0100 *** empty log message ***
Fri, 14 Nov 2003 15:49:52 +0100 *** empty log message ***
Thu, 13 Nov 2003 12:08:43 +0100 *** empty log message ***
Sun, 09 Nov 2003 18:52:30 +0100 *** empty log message ***
Wed, 05 Nov 2003 23:20:44 +0100 *** empty log message ***
Tue, 04 Nov 2003 14:07:37 +0100 *** empty log message ***
Mon, 03 Nov 2003 21:20:44 +0100 *** empty log message ***
Mon, 27 Oct 2003 18:11:25 +0100 *** empty log message ***
Fri, 24 Oct 2003 18:20:30 +0200 *** empty log message ***