1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml	Sat Oct 08 12:13:13 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml	Sat Oct 08 15:41:11 2022 +0200
     1.3 @@ -565,13 +565,10 @@
     1.4  fun parse_patt thy str = (thy, str)
     1.5    |>> Proof_Context.init_global
     1.6    |-> Proof_Context.read_term_pattern
     1.7 -(*|> numbers_to_string   TODO drop*)
     1.8    |> typ_a2real;       (*TODO drop*)
     1.9  fun parse_patt_PIDE thy str = (thy, str)
    1.10    |>> Proof_Context.init_global
    1.11    |-> Proof_Context.read_term_pattern
    1.12 -(*|> numbers_to_string   TODO drop*)
    1.13 -(*|> typ_a2real;         TODO drop*)
    1.14  fun str2term str = parse_patt (ThyC.get_theory "Isac_Knowledge") str
    1.15  
    1.16  fun is_atom (Const _) = true

     2.1 --- a/src/Tools/isac/CLEANUP	Sat Oct 08 12:13:13 2022 +0200
     2.2 +++ b/src/Tools/isac/CLEANUP	Sat Oct 08 15:41:11 2022 +0200
     2.3 @@ -50,19 +50,11 @@
     2.4  cd Doc
     2.5    rm *~
     2.6    rm *.orig
     2.7 -  cd Lucas_Interpreter
     2.8 -    rm *~
     2.9 -    rm *.orig
    2.10 -    cd document
    2.11 -      rm *~
    2.12 -      rm *.orig
    2.13 -      cd ..
    2.14 -    cd output
    2.15 -      rm *
    2.16 -      rm *.orig
    2.17 -      rm -rf document/
    2.18 -      cd ..
    2.19 -    cd ..
    2.20 +  cd Lucas_Interpreter #output tends to vanish
    2.21 +  echo "cd Lucas_Interpreter was successful ----------------------------------------------------"
    2.22 +  cd ..
    2.23 +  cd Specify_Phase     #output tends to vanish
    2.24 +  echo "cd Specify_Phase was successful --------------------------------------------------------"
    2.25    cd ..
    2.26  cd ProgLang
    2.27    echo "cd ProgLang was successful -------------------------------------------------------------"
    2.28 @@ -78,7 +70,7 @@
    2.29    rm .\#*
    2.30    rm *.tar*
    2.31    rm *.orig
    2.32 -   rm *.orig~
    2.33 +  rm *.orig~
    2.34    rm *.orig~~
    2.35    rm *.orig~~~
    2.36    cd .. 

     3.1 --- a/src/Tools/isac/Interpret/error-pattern.sml	Sat Oct 08 12:13:13 2022 +0200
     3.2 +++ b/src/Tools/isac/Interpret/error-pattern.sml	Sat Oct 08 15:41:11 2022 +0200
     3.3 @@ -119,7 +119,7 @@
     3.4  fun find_fill_patterns (pt, pos as (p, _): Pos.pos') id =
     3.5    let 
     3.6      val f_curr = Ctree.get_curr_formula (pt, pos);
     3.7 -    val (_, _, _, ctxt) = LItool.parent_node pt pos (*--------------- double code*)
     3.8 +    val (_, _, _, ctxt) = LItool.parent_node pt pos (*-------------------- double code*)
     3.9      val pp = Ctree.par_pblobj pt p (*by ^^^^^^^ replace with extension --- double code*)
    3.10      val (errpats, prog) = case MethodC.from_store ctxt (Ctree.get_obj Ctree.g_metID pt pp) of
    3.11        {errpats, scr = Rule.Prog prog, ...} => (errpats, prog)

     4.1 --- a/test/Tools/isac/CLEANUP	Sat Oct 08 12:13:13 2022 +0200
     4.2 +++ b/test/Tools/isac/CLEANUP	Sat Oct 08 15:41:11 2022 +0200
     4.3 @@ -1,3 +1,4 @@
     4.4 +# does NOT reflect that Pure, .. are above in file hierarchy with respect to CLEANUP
     4.5  rm *.sml~
     4.6  rm *.sml~
     4.7  rm *.sml~~