From: Oliver Bandel
Subject: ELTS: Executable TeX Language Specification
Date: Wed, 16 May 2001 16:35:30 +0000
Message-ID: <9dua8i$2gt@first.in-berlin.de>

Hello LISPers,

interesting Stuff:

 ETLS: Executable TeX Language Specification:

         ftp://ftp.tu-darmstadt.de/pub/tex/src/etls/


   "This is the first prototype of the TeX Language Specification
    Interpreter (TLSI). It's the result of a rapid prototyping process
    that was made for a feasability study. The study was successful; it
    could be shown on can realize 90% of TeX Macro Language (TML) core
    syntax and the basic evaluator in a few days."
                                                   (tlsi/README)


Ciao,
   Oliver

-- 
 A functional Description of TeX's Formula Layout:
   http://rw4.cs.uni-sb.de/~heckmann/abstracts/neuform.html
 ETLS: Executable TeX Language Specification:
   ftp://ftp.tu-darmstadt.de/pub/tex/src/etls/