1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex	Wed Dec 05 15:29:36 2012 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex	Wed Dec 05 15:56:38 2012 +0100
     1.3 @@ -2390,7 +2390,7 @@
     1.4       \item Do we have the right Script \ldots difference in the
     1.5           arguments in the arguments\ldots
     1.6           \begin{verbatim}
     1.7 -     val Script s =
     1.8 +     val Prog s =
     1.9       (#scr o get_met) ["SignalProcessing",
    1.10                         "Z_Transform",
    1.11                         "Inverse"];
    1.12 @@ -2697,7 +2697,7 @@
    1.13        \item Type-checking can be very tedious. One might even inspect the
    1.14          parse-tree of the program with {\sisac}'s specific debug tools:
    1.15        \begin{verbatim}
    1.16 -      val {scr = Script t,...} = 
    1.17 +      val {scr = Prog t,...} = 
    1.18          get_met ["simplification",
    1.19                   "of_rationals",
    1.20                   "to_partial_fraction"];