1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex	Thu Nov 21 12:05:56 2019 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex	Thu Nov 21 15:31:32 2019 +0100
     1.3 @@ -2379,13 +2379,13 @@
     1.4       (PolyEq',[abcFormula, degree_2, polynomial, 
     1.5                 univariate, equation], no_meth)
     1.6       [BOOL equ, REAL z]' 
     1.7 -       ---> STac 'SubProblem (PolyEq',
     1.8 +       ---> Program.Tac 'SubProblem (PolyEq',
     1.9                [abcFormula, degree_2, polynomial,
    1.10                 univariate, equation], no_meth)
    1.11       [BOOL (-1 + -2 * z + 8 * z \^\^\^ ~2 = 0), REAL z]'
    1.12       \end{verbatim}
    1.13           We see the SubProblem with correct arguments from searching next
    1.14 -         step (program text !!!--->!!! STac (script tactic) with arguments
    1.15 +         step (program text !!!--->!!! Program.Tac (script tactic) with arguments
    1.16           evaluated.)
    1.17       \item Do we have the right Program \ldots difference in the
    1.18           arguments in the arguments\ldots