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';