From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 4 Nov 2009 09:58:19 +0000 (+0100)
Subject: Make pret-trans call pret-lam indirectly.
X-Git-Tag: final-thesis~177
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=360fa910df40934b12cd76a2f1b4627d73ac9e68;hp=360fa910df40934b12cd76a2f1b4627d73ac9e68

Make pret-trans call pret-lam indirectly.

Previously, the pret-lam functions were called directly from lua. Now, the
pret-trans prettyprinter generates \startlambda commands so the pretty
printer is called later. This means the start/end_of_block calls now also
include the right part.
---