Make pret-trans call pret-lam indirectly.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 4 Nov 2009 09:58:19 +0000 (10:58 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 4 Nov 2009 10:09:16 +0000 (11:09 +0100)
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.


No differences found