Set up doublesided margins and pagenumbering.
[matthijs/master-project/report.git] / pret-trans.lua
2009-11-06 Matthijs KooijmanRevert "Allow transformations to be indented."
2009-11-04 Matthijs KooijmanMake pret-trans call pret-lam indirectly.
2009-11-02 Matthijs KooijmanAllow transformations to be indented.
2009-09-30 Matthijs KooijmanUse \HLine instead of \blackrule in transformations.
2009-09-29 Matthijs KooijmanTweak the sizes of the frames in transformations a...
2009-08-27 Matthijs KooijmanLet all lambda expressions in pret-trans share subscrip...
2009-08-27 Matthijs KooijmanUse local variables for storing visualizer dicts.
2009-08-27 Matthijs KooijmanMake pret-trans complain on invalid input.
2009-08-25 Matthijs KooijmanRemove a few debug prints from pret-trans.
2009-08-25 Matthijs KooijmanUpdate the pret-trans to current context beta.
2009-07-27 Matthijs KooijmanAdd transformation pretty printer.