Received: from webgate.proteosys.de (mail.proteosys-ag.com [62.225.9.49]) by lucy.proteosys (8.11.0/8.9.3/SuSE Linux 8.9.3-0.1) with ESMTP id fBBDXOG20519 for ; Tue, 11 Dec 2001 14:33:24 +0100 Received: by webgate.proteosys.de (8.11.6/8.11.0) with ESMTP id fBBDXNU03526 . for ; Tue, 11 Dec 2001 14:33:23 +0100 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C18248.682B2A00" Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [129.206.100.27]) by relay.uni-heidelberg.de (8.10.2+Sun/8.10.2) with ESMTP id fBBDTBa19690; Tue, 11 Dec 2001 14:29:11 +0100 (MET) Received: from listserv (listserv.uni-heidelberg.de [129.206.100.27]) by listserv.uni-heidelberg.de (8.11.3/8.11.3/SuSE Linux 8.11.1-0.5) with ESMTP id fBBDTeB04103; Tue, 11 Dec 2001 14:29:40 +0100 X-MimeOLE: Produced By Microsoft Exchange V6.5 Received: from LISTSERV.UNI-HEIDELBERG.DE by LISTSERV.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 1.8d) with spool id 1253 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Tue, 11 Dec 2001 14:29:39 +0100 Received: from relay.uni-heidelberg.de (relay.uni-heidelberg.de [129.206.100.212]) by listserv.uni-heidelberg.de (8.11.3/8.11.3/SuSE Linux 8.11.1-0.5) with ESMTP id fBBDTdB04097 for ; Tue, 11 Dec 2001 14:29:39 +0100 Received: from mail.umu.se (custer.umdac.umu.se [130.239.8.14]) by relay.uni-heidelberg.de (8.10.2+Sun/8.10.2) with ESMTP id fBBDSpa19584 for ; Tue, 11 Dec 2001 14:28:51 +0100 (MET) Received: from [130.239.20.144] (mac144.math.umu.se [130.239.20.144]) by mail.umu.se (8.8.8/8.8.8) with ESMTP id OAA05704 for ; Tue, 11 Dec 2001 14:28:50 +0100 (MET) In-Reply-To: References: Chris Rowley's message of "Mon, 10 Dec 2001 18:50:35 +0000" <20011210170301.A51310@boole.maths.tcd.ie> <15381.1019.796052.924495@fell.open.ac.uk> Return-Path: X-Sender: lars@abel.math.umu.se x-mime-autoconverted: from quoted-printable to 8bit by listserv.uni-heidelberg.de id fBBDTdB04098 Content-class: urn:content-classes:message Subject: Re: \verb in \footnote and \section Date: Tue, 11 Dec 2001 14:28:50 +0100 Message-ID: X-MS-Has-Attach: X-MS-TNEF-Correlator: From: =?iso-8859-1?Q?Lars_Hellstr=F6m?= Sender: "Mailing list for the LaTeX3 project" To: Reply-To: "Mailing list for the LaTeX3 project" Status: R X-Status: X-Keywords: X-UID: 4186 This is a multi-part message in MIME format. ------_=_NextPart_001_01C18248.682B2A00 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable At 04.40 +0100 2001-12-11, Donald Arseneau wrote: >Chris Rowley writes: > >> Heh guys, wrong list! Please, > >OK...has consideration been given to using catcodes throughout >a document that will facilitate \verb being used anywhere? This task is more or less equivalent to the suggestions about emulating = a full Unicode character set in TeX3 by capturing everything using active characters and translating it to control sequences which will represent = the proper Unicode character. Either task is certainly possible, but the automaton you have to implement in TeX's mouth is _very_ large (it has = to emulate about a fifth of the compiled program TeX) and thus you pretty = much end up in: 1. It's possible, because you can implement lambda calculus in TeX's mouth, and everything computable can be implemented in lambda calculus. 2. It's extremely unfeasible, since it will be grotesquely slow and = use much too much memory. Letting some characters retain their catcodes can let you get by with a smaller automaton, but then the \verb command won't work for those characters and thus you haven't really won anything. Lars Hellstr=F6m ------_=_NextPart_001_01C18248.682B2A00 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Re: \verb in \footnote and \section

At 04.40 +0100 2001-12-11, Donald Arseneau = wrote:
>Chris Rowley <C.A.Rowley@OPEN.AC.UK> = writes:
>
>> Heh guys, wrong list!  Please,
>
>OK...has consideration been given to using = catcodes throughout
>a document that will facilitate \verb being used = anywhere?

This task is more or less equivalent to the = suggestions about emulating a
full Unicode character set in TeX3 by capturing = everything using active
characters and translating it to control sequences = which will represent the
proper Unicode character. Either task is certainly = possible, but the
automaton you have to implement in TeX's mouth is = _very_ large (it has to
emulate about a fifth of the compiled program TeX) = and thus you pretty much
end up in:
  1. It's possible, because you can implement = lambda calculus in TeX's
mouth, and everything computable can be implemented = in lambda calculus.
  2. It's extremely unfeasible, since it will be = grotesquely slow and use
much too much memory.

Letting some characters retain their catcodes can let = you get by with a
smaller automaton, but then the \verb command won't = work for those
characters and thus you haven't really won = anything.

Lars Hellstr=F6m

------_=_NextPart_001_01C18248.682B2A00--