X-VM-v5-Data: ([nil nil nil nil nil nil nil nil nil] ["1117" "Sat" "17" "October" "1998" "11:49:11" "+0100" "Robin Fairbairns" "Robin.Fairbairns@CL.CAM.AC.UK" nil "27" "Re: Users dropping into TeX" "^Date:" nil nil "10" nil "Users dropping into TeX" nil nil nil] nil) X-POP3-Rcpt: schoepf@polly.zdv.Uni-Mainz.DE 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 MAA31142; Sat, 17 Oct 1998 12:49:35 +0200 (MET DST) Received: from lsv1.listserv.gmd.de (192.88.97.2) by listserv.gmd.de (LSMTP for OpenVMS v1.1a) with SMTP id <3.0E2E57AC@listserv.gmd.de>; Sat, 17 Oct 1998 12:49:34 +0200 Received: from RELAY.URZ.UNI-HEIDELBERG.DE by RELAY.URZ.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 1.8b) with spool id 401476 for LATEX-L@RELAY.URZ.UNI-HEIDELBERG.DE; Sat, 17 Oct 1998 12:49:17 +0200 Received: from heaton.cl.cam.ac.uk (exim@heaton.cl.cam.ac.uk [128.232.32.11]) by relay.urz.uni-heidelberg.de (8.8.8/8.8.8) with SMTP id MAA07005 for ; Sat, 17 Oct 1998 12:49:14 +0200 (MET DST) Received: from dorceus.cl.cam.ac.uk (cl.cam.ac.uk) [128.232.1.34] (rf) by heaton.cl.cam.ac.uk with esmtp (Exim 1.82 #1) id 0zUTv6-0000em-00; Sat, 17 Oct 1998 11:49:12 +0100 Message-ID: Reply-To: Mailing list for the LaTeX3 project In-Reply-To: Your message of "Fri, 16 Oct 1998 22:21:42 +0200." <28-J2A2JBh108h@dream.kn-bremen.de> Date: Sat, 17 Oct 1998 11:49:11 +0100 From: Robin Fairbairns Sender: Mailing list for the LaTeX3 project To: Multiple recipients of list LATEX-L Subject: Re: Users dropping into TeX Status: R X-Status: X-Keywords: X-UID: 2687 > In <199810161313.OAA30490@nag.co.uk> David Carlisle writes: > > LaTeX evidently has a syntax based on Pascal, but this syntax is not > > explicitly part of LaTeX, only something that the developers of LaTeX use > > internally > > >I think you are probably referring to the pascal-ish comments that were > >in the sorces for latex209 and some remain in the `oldcomments' sections > >in the current sources. Leslie Lamport used those while designing the > > > AFAIK it is not pascal-ish, but classic algol68-like pseudocode. :-) > frankly, whatever the pseudocode looks like (and wirth would once have been apoplectic to have pascal-like and algol68-like confused ;-), i think hans aberg's original suggestion is just plain wrong. latex's syntax has a little bit of regularity, a little bit of block structure, ..., but all told it's so uneven that it's silly to imagine `formally' specifying it. added to which, the extreme difficult of faulting tex primitives, etc., that fall outside the scope of the syntax makes the utility of such a specification doubtful. robin