* \starttyping again
@ 2001-11-13 15:56 Marko Schuetz
2001-11-14 16:47 ` Marko Schuetz
[not found] ` <20011114174744G.marko@kinetic.ki.informatik.uni-frankfurt. de>
0 siblings, 2 replies; 3+ messages in thread
From: Marko Schuetz @ 2001-11-13 15:56 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: \starttyping again
2001-11-13 15:56 \starttyping again Marko Schuetz
@ 2001-11-14 16:47 ` Marko Schuetz
[not found] ` <20011114174744G.marko@kinetic.ki.informatik.uni-frankfurt. de>
1 sibling, 0 replies; 3+ messages in thread
From: Marko Schuetz @ 2001-11-14 16:47 UTC (permalink / raw)
Cc: ntg-context
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: \starttyping again
[not found] ` <20011114174744G.marko@kinetic.ki.informatik.uni-frankfurt. de>
@ 2001-11-14 17:20 ` Hans Hagen
0 siblings, 0 replies; 3+ messages in thread
From: Hans Hagen @ 2001-11-14 17:20 UTC (permalink / raw)
Cc: ntg-context
At 05:47 PM 11/14/2001 +0100, you wrote:
>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.
i think that it has to do with the fact that etex's scantokens is used here
Hans
-------------------------------------------------------------------------
Hans Hagen | PRAGMA ADE | pragma@wxs.nl
Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
tel: +31 (0)38 477 53 69 | fax: +31 (0)38 477 53 74 | www.pragma-ade.com
-------------------------------------------------------------------------
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2001-11-14 17:20 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-11-13 15:56 \starttyping again Marko Schuetz
2001-11-14 16:47 ` Marko Schuetz
[not found] ` <20011114174744G.marko@kinetic.ki.informatik.uni-frankfurt. de>
2001-11-14 17:20 ` Hans Hagen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).