From: Marko Schuetz <[EMAIL PROTECTED]>
Subject: \starttyping again
Date: Tue, 13 Nov 2001 16:56:54 +0100
> I downloaded
>
> ConTeXt ver: 2001.7.11 fmt: 2001.11.13 int: english mes: english
with ConTeXt 2001.11.13 this file works again.
>
> 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
[..]
Marko
