1.1 --- a/src/sml/FE-interface/interface.sml	Thu Feb 17 16:34:16 2005 +0100
     1.2 +++ b/src/sml/FE-interface/interface.sml	Thu Feb 17 18:36:51 2005 +0100
     1.3 @@ -147,7 +147,7 @@
     1.4   @see #TACTICS_ALL
     1.5   @see #TACTICS_CURRENT_THEORY
     1.6   @see #TACTICS_CURRENT_METHOD  ..the only impl.WN.040307.*)
     1.7 -fun fetchApplicableTactics cI (p:pos') (*scope*) =
     1.8 +fun fetchApplicableTactics cI (scope:int) (p:pos') =
     1.9      let val ((pt, _), _) = get_calc cI
    1.10      in (applicabletacticsOK cI (sel_rules pt p))
    1.11         handle PTREE str => sysERROR2xml cI str end;

     2.1 --- a/src/sml/ROOT.ML	Thu Feb 17 16:34:16 2005 +0100
     2.2 +++ b/src/sml/ROOT.ML	Thu Feb 17 18:36:51 2005 +0100
     2.3 @@ -158,7 +158,7 @@
     2.4   "******* build ME & DG complete, knowledge + XML added *******";
     2.5   *)
     2.6  
     2.7 -(*=======================================================================**)
     2.8 +(*=======================================================================(**)
     2.9   
    2.10   cd"kbtest";
    2.11   	use"complex.sml";
    2.12 @@ -238,6 +238,6 @@
    2.13    Compiler.Control.Print.printDepth:=4; (*4 default*)
    2.14  
    2.15  *)
    2.16 -(**=======================================================================*)
    2.17 +(**)=======================================================================*)
    2.18  
    2.19   states:=[];

     3.1 --- a/src/sml/systest/FE-interface.sml	Thu Feb 17 16:34:16 2005 +0100
     3.2 +++ b/src/sml/systest/FE-interface.sml	Thu Feb 17 18:36:51 2005 +0100
     3.3 @@ -865,17 +865,12 @@
     3.4   getTactic 1 ([],Res);
     3.5  
     3.6  (*UC\label{SOLVE:MANUAL:TACTIC:listall}*)
     3.7 -(*old-----------------------------------------------------*)
     3.8 - fetchApplicableTactics 1 ([],Frm) ;
     3.9 - fetchApplicableTactics 1 ([3,1],Frm);
    3.10 -(*old-----------------------------------------------------*)
    3.11 -
    3.12 - fetchApplicableTactics 1 ([],Pbl);
    3.13 - fetchApplicableTactics 1 ([1],Res);
    3.14 - fetchApplicableTactics 1 ([3],Pbl);
    3.15 - fetchApplicableTactics 1 ([3,1],Res);
    3.16 - fetchApplicableTactics 1 ([3],Res);
    3.17 - fetchApplicableTactics 1 ([],Res);
    3.18 + fetchApplicableTactics 1 99999 ([],Pbl);
    3.19 + fetchApplicableTactics 1 99999 ([1],Res);
    3.20 + fetchApplicableTactics 1 99999 ([3],Pbl);
    3.21 + fetchApplicableTactics 1 99999 ([3,1],Res);
    3.22 + fetchApplicableTactics 1 99999 ([3],Res);
    3.23 + fetchApplicableTactics 1 99999 ([],Res);
    3.24  
    3.25  
    3.26  "--------- getAssumptions, getAccumulatedAsms --------------------";