projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Allow for ordering of symbols in the lambda prettyprinter.
[matthijs/master-project/report.git]
/
Utils
/
2009-12-08
Matthijs Kooijman
Put spaces in example and definition labels.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Only show three levels of contents.
tree
|
commitdiff
2009-12-08
Matthijs Kooijman
Prevent page breaks directly before boxed typings.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Unify examples, figures and definitions.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Add a VHDL typing style (and some other fixes).
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Improve the layout of intermezzos.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Disable display of TODO's.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Move references to the larger margin.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Use \VHDL\ (etc.) instead of relying on \autoinsertnext...
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Use normal style zeroes instead of using the sans font.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Invert the intermezzo offset.
tree
|
commitdiff
2009-12-06
Matthijs Kooijman
Fix a lot of things following from Jan's comments.
tree
|
commitdiff
2009-12-06
Matthijs Kooijman
Improve strikethrough a bit.
tree
|
commitdiff
2009-12-05
Matthijs Kooijman
Fix todo's in the introduction chapter.
tree
|
commitdiff
2009-12-04
Matthijs Kooijman
Add section on EDSLs.
tree
|
commitdiff
2009-12-02
Matthijs Kooijman
Add an intermezzo about substitution.
tree
|
commitdiff
2009-12-01
Matthijs Kooijman
Use \$ instead of just $ in lambda expressions.
tree
|
commitdiff
2009-12-01
Matthijs Kooijman
Remove some whitespace.
tree
|
commitdiff
2009-11-30
Matthijs Kooijman
Add vim modelines.
tree
|
commitdiff
2009-11-20
Matthijs Kooijman
Prevent some shortcuts from gobbling the next space.
tree
|
commitdiff
2009-11-19
Matthijs Kooijman
Add (commented) lines to disable todo's and fixmes.
tree
|
commitdiff
2009-11-19
Matthijs Kooijman
Enable the fixme module.
tree
|
commitdiff
2009-11-06
Matthijs Kooijman
Add \VHDL and \GHC shortcuts.
tree
|
commitdiff
2009-11-06
Matthijs Kooijman
Enable indent stripping for \typebufferlam and \typebuf...
tree
|
commitdiff
2009-11-06
Matthijs Kooijman
Automatically strip leading whitespace from all typing...
tree
|
commitdiff
2009-11-04
Matthijs Kooijman
Make pret-trans call pret-lam indirectly.
tree
|
commitdiff
2009-10-23
Matthijs Kooijman
Move the example float definition to Utils/.
tree
|
commitdiff
2009-10-23
Matthijs Kooijman
Add \typebufferhs command to Haskell-typeset a buffer.
tree
|
commitdiff
2009-10-12
Matthijs Kooijman
Let \refdef generate clickable links.
tree
|
commitdiff
2009-10-09
Matthijs Kooijman
Add macros for definitions and inmargin references...
tree
|
commitdiff
2009-10-06
Matthijs Kooijman
Reduce randomization in horizontal lines.
tree
|
commitdiff
2009-10-06
Matthijs Kooijman
Use a dotted lines to separate context in a transformation.
tree
|
commitdiff
2009-10-05
Matthijs Kooijman
Vertically center the register output port.
tree
|
commitdiff
2009-10-05
Matthijs Kooijman
Add a "sel" point for the selector to the multiplexers.
tree
|
commitdiff
2009-10-05
Matthijs Kooijman
Make multiplexers a bit smaller.
tree
|
commitdiff
2009-10-05
Matthijs Kooijman
Add a "definition" float.
tree
|
commitdiff
2009-10-05
Matthijs Kooijman
Limit randomizations of boxes by the minimum dimension.
tree
|
commitdiff
2009-10-01
Matthijs Kooijman
Add boxedgraphic macro to display a metapost graphic...
tree
|
commitdiff
2009-10-01
Matthijs Kooijman
Add \typebufferlam helper macro.
tree
|
commitdiff
2009-10-01
Matthijs Kooijman
Use width=fit for startboxed and remove startwideboxed.
tree
|
commitdiff
2009-10-01
Matthijs Kooijman
Add multiplexer metapost object.
tree
|
commitdiff
2009-09-30
Matthijs Kooijman
Add a midpoint Metapost macro.
tree
|
commitdiff
2009-09-30
Matthijs Kooijman
Randomize the transformation HLine a bit.
tree
|
commitdiff
2009-09-30
Matthijs Kooijman
Don't use uniqueMPgraphic for randomized graphics.
tree
|
commitdiff
2009-09-30
Matthijs Kooijman
Add \HLine command that draws a horizontal line.
tree
|
commitdiff
2009-09-30
Matthijs Kooijman
Add TODO about globbed spaces after \eg and \ie.
tree
|
commitdiff
2009-09-29
Matthijs Kooijman
Make the box randomization scale with the box size.
tree
|
commitdiff
2009-09-29
Matthijs Kooijman
Tweak the sizes of the frames in transformations a...
tree
|
commitdiff
2009-09-29
Matthijs Kooijman
Add pretty boxes around various typing environments.
tree
|
commitdiff
2009-09-23
Matthijs Kooijman
Add a hack to make \overrightarrow work in MetaPost.
tree
|
commitdiff
2009-09-23
Matthijs Kooijman
Define a custom "Register" MetaObj object.
tree
|
commitdiff
2009-09-23
Matthijs Kooijman
Set up MetaPost and MetaObj for drawing diagrams.
tree
|
commitdiff
2009-09-18
Matthijs Kooijman
Use the moder math font, since it has vector arrows.
tree
|
commitdiff
2009-09-16
Matthijs Kooijman
Use old style numbers when available.
tree
|
commitdiff
2009-09-02
Matthijs Kooijman
Add a small bit of whitespace beteen paragraphs.
tree
|
commitdiff
2009-09-02
Matthijs Kooijman
Define \epmh{foo} for easy emphasis.
tree
|
commitdiff
2009-08-31
Matthijs Kooijman
Add a bit spacing after a transformation.
tree
|
commitdiff
2009-08-28
Matthijs Kooijman
Make pret-lam preserve alignment using whitespace.
tree
|
commitdiff
2009-08-27
Matthijs Kooijman
Use the Linux Libertine roman font for regular text.
tree
|
commitdiff
2009-08-26
Matthijs Kooijman
Use antykwa for math, and palatino for serif text.
tree
|
commitdiff
2009-08-26
Matthijs Kooijman
Make \hs print in monospaced.
tree
|
commitdiff
2009-08-25
Matthijs Kooijman
Define a \hs command for inline Haskell.
tree
|
commitdiff
2009-08-25
Matthijs Kooijman
Fix a comment.
tree
|
commitdiff
2009-08-20
Matthijs Kooijman
Add a haskell pretty printer.
tree
|
commitdiff
2009-07-28
Matthijs Kooijman
Rename shortcuts.tex to Shortcuts.tex
tree
|
commitdiff
2009-07-27
Matthijs Kooijman
Add some initial structure for the final report.
tree
|
commitdiff