doc-isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex
changeset 60658 1c089105f581
parent 60586 007ef64dbb08
     1.1 --- a/doc-isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Thu Jan 26 19:02:41 2023 +0100
     1.2 +++ b/doc-isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Sat Jan 28 13:21:39 2023 +0100
     1.3 @@ -1427,7 +1427,7 @@
     1.4  {\footnotesize
     1.5  \begin{verbatim}
     1.6  01   ML {*
     1.7 -02     val SOME t = parseNEW ctxt "argument_in (X (z::real))";
     1.8 +02     val t = parse ctxt "argument_in (X (z::real))";
     1.9  03     val SOME (str, t') = eval_argument_in "" 
    1.10  04       "Build_Inverse_Z_Transform.argument'_in" t 0;
    1.11  05     term2str t';