projects
/
matthijs
/
master-project
/
report.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from:
360fa91
)
Make pret-trans call pret-lam indirectly.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Wed, 4 Nov 2009 09:58:19 +0000
(10:58 +0100)
committer
Matthijs 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