X-VM-v5-Data: ([nil nil nil nil nil nil nil nil nil]
	["913" "Wed" "9" "December" "1998" "23:30:52" "+0100" "Hans Aberg" "haberg@MATEMATIK.SU.SE" nil "22" "Re: portable LaTeX" "^Date:" nil nil "12" nil "portable LaTeX" nil nil nil]
	nil)
Received: from listserv.gmd.de (listserv.gmd.de [192.88.97.1])
	by mail.Uni-Mainz.DE (8.8.8/8.8.8) with ESMTP id IAA31268;
	Thu, 10 Dec 1998 08:58:49 +0100 (MET)
Received: from lsv1.listserv.gmd.de (192.88.97.2) by listserv.gmd.de (LSMTP for OpenVMS v1.1a) with SMTP id <4.C3188967@listserv.gmd.de>; Thu, 10 Dec 1998 8:58:47 +0100
Received: from RELAY.URZ.UNI-HEIDELBERG.DE by RELAY.URZ.UNI-HEIDELBERG.DE
          (LISTSERV-TCP/IP release 1.8b) with spool id 412064 for
          LATEX-L@RELAY.URZ.UNI-HEIDELBERG.DE; Thu, 10 Dec 1998 08:58:43 +0100
Received: from mail0.nada.kth.se (mail0.nada.kth.se [130.237.222.70]) by
          relay.urz.uni-heidelberg.de (8.8.8/8.8.8) with ESMTP id IAA19202 for
          <LATEX-L@URZ.UNI-HEIDELBERG.DE>; Thu, 10 Dec 1998 08:58:42 +0100 (MET)
Received: from [130.237.37.108] (sl82.modempool.kth.se [130.237.37.108]) by
          mail0.nada.kth.se (8.8.7/8.8.7) with ESMTP id IAA17222 for
          <LATEX-L@URZ.UNI-HEIDELBERG.DE>; Thu, 10 Dec 1998 08:58:40 +0100 (MET)
X-Sender: su95-hab@mail.nada.kth.se (Unverified)
References: <v03110700b2949f04670b@[130.237.37.137]>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Message-ID:  <v03110701b294a9b8eb03@[130.237.37.107]>
Reply-To: Mailing list for the LaTeX3 project
              <LATEX-L@URZ.UNI-HEIDELBERG.DE>
In-Reply-To:  <366EF2B4.88F89787@na.uni-tuebingen.de>
Date:         Wed, 9 Dec 1998 23:30:52 +0100
From: Hans Aberg <haberg@MATEMATIK.SU.SE>
Sender: Mailing list for the LaTeX3 project
              <LATEX-L@URZ.UNI-HEIDELBERG.DE>
To: Multiple recipients of list LATEX-L
              <LATEX-L@URZ.UNI-HEIDELBERG.DE>
Subject:      Re: portable LaTeX
Status: R
X-Status: 
X-Keywords:                  
X-UID: 3057

At 22:59 +0100 1998/12/09, Marcel Oliver wrote:
>I was proposing an automated checker for [verification of syntax correctnes].

Then you have a problem.

>Sure, but you can't really cause too much trouble without \def,
>\expandafter and friends, and these clearly do not belong in a
>portable format (while some form of \newcommand should be allowed for
>reasons discussed some time ago).

The problem is not only within LaTeX, but with respect to the inofrmation
other tools should extract: That is what is forcing a more complex syntax
also within LaTeX. And then you need a tool to check that syntax.

But that tool can perhaps be merged with the editor (like emacs), or a
separate program.

  Hans Aberg
                  * Email: Hans Aberg <mailto:haberg@member.ams.org>
                  * Home Page: <http://www.matematik.su.se/~haberg/>
                  * AMS member listing: <http://www.ams.org/cml/>