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 fBBDqdG21074 for ; Tue, 11 Dec 2001 14:52:39 +0100 Received: by webgate.proteosys.de (8.11.6/8.11.0) with ESMTP id fBBDqdU03618 . for ; Tue, 11 Dec 2001 14:52:39 +0100 MIME-Version: 1.0 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 fBBDl1a25850; Tue, 11 Dec 2001 14:47:01 +0100 (MET) Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C1824B.189A2D80" 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 fBBDllB04348; Tue, 11 Dec 2001 14:47:47 +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 1275 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Tue, 11 Dec 2001 14:47:47 +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 fBBDllB04342 for ; Tue, 11 Dec 2001 14:47:47 +0100 Received: from mail17.messagelabs.com (mail17.messagelabs.com [62.231.131.67]) by relay.uni-heidelberg.de (8.10.2+Sun/8.10.2) with SMTP id fBBDkxa25826 for ; Tue, 11 Dec 2001 14:46:59 +0100 (MET) Received: (qmail 29416 invoked from network); 11 Dec 2001 13:43:52 -0000 Received: from unknown (HELO nag.co.uk) (62.231.145.242) by server-15.tower-17.messagelabs.com with SMTP; 11 Dec 2001 13:43:52 -0000 Received: from penguin.nag.co.uk (IDENT:root@penguin.nag.co.uk [192.156.217.14]) by nag.co.uk (8.9.3/8.9.3) with ESMTP id NAA04510 for ; Tue, 11 Dec 2001 13:46:42 GMT Received: by penguin.nag.co.uk (8.9.3) id NAA25731; Tue, 11 Dec 2001 13:46:42 GMT In-Reply-To: (message from Lars =?iso-8859-1?Q?Hellstr=F6m?= on Tue, 11 Dec 2001 14:28:50 +0100) 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-VirusChecked: Checked Content-class: urn:content-classes:message Subject: Re: \verb in \footnote and \section Date: Tue, 11 Dec 2001 14:46:42 +0100 Message-ID: <200112111346.NAA25731@penguin.nag.co.uk> X-MS-Has-Attach: X-MS-TNEF-Correlator: From: "David Carlisle" Sender: "Mailing list for the LaTeX3 project" To: Reply-To: "Mailing list for the LaTeX3 project" Status: R X-Status: X-Keywords: X-UID: 4187 This is a multi-part message in MIME format. ------_=_NextPart_001_01C1824B.189A2D80 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable 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, This is what xmltex does, whether or not that is a feasible system I'm not sure. Note that in xmltex macro files are read with more or less normal catcodes, it's just the document itself where catcodes are set up so that catcodes are fixed and \verb problems go away (to be replaced by other problems:-) In xmltex of course the active characaters just have to parse xml syntax, which is rather more regular than normal latex \ and { syntax. In (la)tex (as in SGML) you need knowledge of each individual command to parse its argument syntax but you can parse XML wthout knowing anything specific about the commands (which is why it is such a verbose language) David _____________________________________________________________________ This message has been checked for all known viruses by Star Internet delivered through the MessageLabs Virus Scanning Service. For further information visit http://www.star.net.uk/stats.asp or alternatively call Star Internet for details on the Virus Scanning Service. ------_=_NextPart_001_01C1824B.189A2D80 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Re: \verb in \footnote and \section

    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,

This is what xmltex does, whether or not that is a = feasible system I'm
not sure.

Note that in xmltex macro files are read with more or = less
normal catcodes, it's just the document itself where = catcodes are set up
so that catcodes are fixed and \verb problems go away = (to be replaced by
other problems:-) In xmltex of course the active = characaters just have
to parse xml syntax, which is rather more regular = than normal latex \
and { syntax. In (la)tex (as in SGML) you need = knowledge of each
individual command to parse its argument syntax but = you can parse XML
wthout knowing anything specific about the commands = (which is why it is
such a verbose language)

David

________________________________________________________________= _____
This message has been checked for all known viruses = by Star Internet
delivered through the MessageLabs Virus Scanning = Service. For further
information visit http://www.star.net.uk/stats.as= p or alternatively call
Star Internet for details on the Virus Scanning = Service.

------_=_NextPart_001_01C1824B.189A2D80--