Fix / remove some final todos.
[matthijs/master-project/report.git] / Utils / Lambda.tex
2009-12-08 Matthijs KooijmanPut spaces in example and definition labels.
2009-12-08 Matthijs KooijmanPrevent page breaks directly before boxed typings.
2009-12-07 Matthijs KooijmanUnify examples, figures and definitions.
2009-12-07 Matthijs KooijmanAdd a VHDL typing style (and some other fixes).
2009-12-07 Matthijs KooijmanImprove the layout of intermezzos.
2009-12-07 Matthijs KooijmanInvert the intermezzo offset.
2009-12-06 Matthijs KooijmanFix a lot of things following from Jan's comments.
2009-12-04 Matthijs KooijmanAdd section on EDSLs.
2009-12-02 Matthijs KooijmanAdd an intermezzo about substitution.
2009-11-30 Matthijs KooijmanAdd vim modelines.
2009-11-06 Matthijs KooijmanEnable indent stripping for \typebufferlam and \typebuf...
2009-11-06 Matthijs KooijmanAutomatically strip leading whitespace from all typing...
2009-11-04 Matthijs KooijmanMake pret-trans call pret-lam indirectly.
2009-10-23 Matthijs KooijmanMove the example float definition to Utils/.
2009-10-23 Matthijs KooijmanAdd \typebufferhs command to Haskell-typeset a buffer.
2009-10-06 Matthijs KooijmanReduce randomization in horizontal lines.
2009-10-06 Matthijs KooijmanUse a dotted lines to separate context in a transformation.
2009-10-05 Matthijs KooijmanAdd a "definition" float.
2009-10-05 Matthijs KooijmanLimit randomizations of boxes by the minimum dimension.
2009-10-01 Matthijs KooijmanAdd boxedgraphic macro to display a metapost graphic...
2009-10-01 Matthijs KooijmanAdd \typebufferlam helper macro.
2009-10-01 Matthijs KooijmanUse width=fit for startboxed and remove startwideboxed.
2009-09-30 Matthijs KooijmanRandomize the transformation HLine a bit.
2009-09-30 Matthijs KooijmanDon't use uniqueMPgraphic for randomized graphics.
2009-09-30 Matthijs KooijmanAdd \HLine command that draws a horizontal line.
2009-09-29 Matthijs KooijmanMake the box randomization scale with the box size.
2009-09-29 Matthijs KooijmanTweak the sizes of the frames in transformations a...
2009-09-29 Matthijs KooijmanAdd pretty boxes around various typing environments.
2009-08-31 Matthijs KooijmanAdd a bit spacing after a transformation.
2009-08-26 Matthijs KooijmanMake \hs print in monospaced.
2009-08-25 Matthijs KooijmanDefine a \hs command for inline Haskell.
2009-08-20 Matthijs KooijmanAdd a haskell pretty printer.
2009-07-27 Matthijs KooijmanAdd some initial structure for the final report.