From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/6139
Path: main.gmane.org!not-for-mail
From: Marko Schuetz <MarkoSchuetz@web.de>
Newsgroups: gmane.comp.tex.context
Subject: Re: \starttyping again
Date: Wed, 14 Nov 2001 17:47:44 +0100
Sender: owner-ntg-context@let.uu.nl
Message-ID: <20011114174744G.marko@kinetic.ki.informatik.uni-frankfurt.de>
References: <20011113165654C.marko@kinetic.ki.informatik.uni-frankfurt.de>
Reply-To: marko@ki.informatik.uni-frankfurt.de
NNTP-Posting-Host: coloc-standby.netfonds.no
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: main.gmane.org 1035396685 7858 80.91.224.250 (23 Oct 2002 18:11:25 GMT)
X-Complaints-To: usenet@main.gmane.org
NNTP-Posting-Date: Wed, 23 Oct 2002 18:11:25 +0000 (UTC)
Cc: ntg-context@ntg.nl
Original-To: marko@ki.informatik.uni-frankfurt.de, MarkoSchuetz@web.de
In-Reply-To: <20011113165654C.marko@kinetic.ki.informatik.uni-frankfurt.de>
Xref: main.gmane.org gmane.comp.tex.context:6139
X-Report-Spam: http://spam.gmane.org/gmane.comp.tex.context:6139

From: Marko Schuetz <MarkoSchuetz@web.de>
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