projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Prevent page breaks directly before boxed typings.
[matthijs/master-project/report.git]
/
Utils
/
Lambda.tex
2009-12-08
Matthijs Kooijman
Prevent page breaks directly before boxed typings.
blob
|
commitdiff
|
raw
2009-12-07
Matthijs Kooijman
Unify examples, figures and definitions.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Matthijs Kooijman
Add a VHDL typing style (and some other fixes).
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Matthijs Kooijman
Improve the layout of intermezzos.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Matthijs Kooijman
Invert the intermezzo offset.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-06
Matthijs Kooijman
Fix a lot of things following from Jan's comments.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-04
Matthijs Kooijman
Add section on EDSLs.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-02
Matthijs Kooijman
Add an intermezzo about substitution.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-30
Matthijs Kooijman
Add vim modelines.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-06
Matthijs Kooijman
Enable indent stripping for \typebufferlam and \typebuf...
blob
|
commitdiff
|
raw
|
diff to current
2009-11-06
Matthijs Kooijman
Automatically strip leading whitespace from all typing...
blob
|
commitdiff
|
raw
|
diff to current
2009-11-04
Matthijs Kooijman
Make pret-trans call pret-lam indirectly.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-23
Matthijs Kooijman
Move the example float definition to Utils/.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-23
Matthijs Kooijman
Add \typebufferhs command to Haskell-typeset a buffer.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-06
Matthijs Kooijman
Reduce randomization in horizontal lines.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-06
Matthijs Kooijman
Use a dotted lines to separate context in a transformation.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-05
Matthijs Kooijman
Add a "definition" float.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-05
Matthijs Kooijman
Limit randomizations of boxes by the minimum dimension.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-01
Matthijs Kooijman
Add boxedgraphic macro to display a metapost graphic...
blob
|
commitdiff
|
raw
|
diff to current
2009-10-01
Matthijs Kooijman
Add \typebufferlam helper macro.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-01
Matthijs Kooijman
Use width=fit for startboxed and remove startwideboxed.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-30
Matthijs Kooijman
Randomize the transformation HLine a bit.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-30
Matthijs Kooijman
Don't use uniqueMPgraphic for randomized graphics.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-30
Matthijs Kooijman
Add \HLine command that draws a horizontal line.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-29
Matthijs Kooijman
Make the box randomization scale with the box size.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-29
Matthijs Kooijman
Tweak the sizes of the frames in transformations a...
blob
|
commitdiff
|
raw
|
diff to current
2009-09-29
Matthijs Kooijman
Add pretty boxes around various typing environments.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-31
Matthijs Kooijman
Add a bit spacing after a transformation.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-26
Matthijs Kooijman
Make \hs print in monospaced.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-25
Matthijs Kooijman
Define a \hs command for inline Haskell.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-20
Matthijs Kooijman
Add a haskell pretty printer.
blob
|
commitdiff
|
raw
|
diff to current
2009-07-27
Matthijs Kooijman
Add some initial structure for the final report.
blob
|
commitdiff
|
raw
|
diff to current