I downloaded
ConTeXt ver: 2001.7.11 fmt: 2001.11.13 int: english mes: english
now a file that was formerly processed
\setuptyping[option=commands]
\define\myge{$\ge$}
\define\myle{$\le$}
\define\myforall{$\forall$}
\define\myland{$\land$}
\define\myin{$\in$}
\define\myldots{$\ldots$}
\define\myobra{$\{$}
\define\mycbra{$\}$}
\starttext
\starttyping
int sqrt(int e)
{
requires e /myge 0;
modifies nothing;
ensures /myforall j /myin int : |e - result^2| /myle |e - j^2|;
}
\stoptyping
\stoptext
results in an error
[..]
systems : begin file test1 at line 12
Runaway argument?
int : |e - result^2| \myle |e - j^2|;\relax \flushrestofverbatimline \ETC.
! Paragraph ended before \dodododoinatreference was complete.
<to be read again>
\par
\presetnormalverbatimline ...\doflushverbatimline
\fi \global \let \savedver...
\doifendofverbatim ...\@@@instring }{#2}#3\else #4
\fi
\copyverbatimline ...}{\presetnormalverbatimline }
\fi \handleverbatimline \c...
l.20 }
?
I'm puzzled. As always, help would be appreciated.
Marko
