Update the definitions section and add references.

Add macros for definitions and inmargin references to them.

Restructure the section structure of the Normalization chapter.

Improve and clarify transformation format definition.

Add a section on binder uniqueness.

Add note about differences between Core and the graphical version.

Add note to the outline.

Reduce randomization in horizontal lines.

Use a dotted lines to separate context in a transformation.

Put "VHDL" in small caps everywhere.

Restructure the introduction of the Normalization chapter.

It now builds up to the formal definition using smaller examples, which
should make the chapter more easy to understand.

Vertically center the register output port.

Add a "sel" point for the selector to the multiplexers.

Make multiplexers a bit smaller.

Add a "definition" float.

Limit randomizations of boxes by the minimum dimension.

Previously, the amount of randomizations was determined by the width only,
causing full width but low boxes to be heavily randomized.

Add two new simple normal form examples.

Add boxedgraphic macro to display a metapost graphic with a border.

Add \typebufferlam helper macro.

This macro formats the contents of a buffer with lambda code, with a nice
box around it. This makes up for the fact that Context doesn't have such a
macro.

Use width=fit for startboxed and remove startwideboxed.

Using width=fit makes the correct for transformations as well, so there is
no more need for a seperate full textwidth framedtext context.

Some minor wording fixes.

Add multiplexer metapost object.

Add a midpoint Metapost macro.

Randomize the transformation HLine a bit.

Fix type in comment.

Update outline.

Don't use uniqueMPgraphic for randomized graphics.

Since uniqueMPgraphics are only evaluated once for every set of variables
(width, height, etc.), every box with the same size is randomized in the
same way. Using useMPgraphics ensures that the graphics are redrawn every
time.

Use \HLine instead of \blackrule in transformations.

Add \HLine command that draws a horizontal line.

This line is drawn using metapost, to make it look more consistent with
the other boxes etc.

Add TODO about globbed spaces after \eg and \ie.

Make the box randomization scale with the box size.

Previously, small boxes would sometimes be warped to much, causing content
to fall out.

Put a fancy box around transformation examples as well.

Tweak the sizes of the frames in transformations a bit.

Because we added an extra frame before, with its own offset, the frames
used to put the transformation and conditions next to each other became a
bit too big.

Add pretty boxes around various typing environments.

Add labels to all chapters.

Further expand the Prototype chapter.

Use save instead of clearObj in a MP drawing.

Make a start with the prototype chapter.

Add "New language" to the outline.

Add outline for Prototype chapter.

Add a section on research goals and an outline.

Update outline.

Add a hack to make \overrightarrow work in MetaPost.

Define a custom "Register" MetaObj object.

Set up MetaPost and MetaObj for drawing diagrams.

Run texexec under nice.

Previously, luatex had the habit of choking up all memory and making the
system (temporarily) non-responsive. Perhaps this helps.

Use the moder math font, since it has vector arrows.

Actually use the Introduction chapter.

Use old style numbers when available.

Add a brainstorm for an outline.

Add (a start of) an introduction).

Add a bit content to a new Future Work chapter.

Remove the example sequence, it was completely out of date.

Improve some text and add definitions in Normalization.

Add a small bit of whitespace beteen paragraphs.

Define \epmh{foo} for easy emphasis.

Normally, only {\em foo} works, but that is ugly and can add whitespace
in some cases (such as at the start of a line). The solution for the
latter, {\em{}foo} is even uglier.

Add letrec and letnonrec as keywords to pret-lam.

Update a bunch more transformations.

This almost completes the transformation specifications.

Add content to a bunch more transformations.

Reorder and complete the list of transformations.

This does not add any content, except for updating β-reduction.

Add a bit spacing after a transformation.

Or rather, don't remove it.

Add a new definition of the normal form.

This definition uses a sort of EBNF.

Make pret-lam preserve alignment using whitespace.

This is slightly complicated, but it should work properly in most cases.

Declare variables as local in pret-lam.

Support the | character in pret-lam.

Remove explicit subscription underscores.

These are now autodetected.

Update normal form example.

Let all lambda expressions in pret-trans share subscript detection.

Let pret-lam support blocks of multiple lambda expressions.

This enables subscript detection from one lambda expression or buffer to
influence the lambda detection in other buffer.

Use local variables for storing visualizer dicts.

Using global variables could cause problems when pretty printers call
eachother and use the vis variable.

Improve subscript handling in pret-lam.

The handling is now a bit more strict when automatically detecting
multiple character subscripts, to prevent things like "return" from being
turned into "r_eturn".

Make pret-trans complain on invalid input.

Before, the lua would just crash with a vague error.

Use the Linux Libertine roman font for regular text.

It turned out that the palatino (and most other roman fonts shipped with
context) didn't have greek letters.

Use antykwa for math, and palatino for serif text.

Make pret-haskell work also for inline \types.

Somehow, \type sets the catcodes different than \starttyping, causing \obs
and other escape codes produced by pret-haskell to not work. Now,
pret-haskell sets the right catcodes for each print, so this is no longer
a problem.

Remove two old (empty) chapter definitions.

Remove \stoptext from the Normalization chapter.

Make \hs print in monospaced.

Remove a few debug prints from pret-trans.

Make pret-lam work for \type{} as well.

Actually enable the Hardware description chapter.

Update the pret-trans to current context beta.

Update the pret-lam to current context beta.

Fix typo in SConstruct file.

Add a Hardware description chapter, that describes the language.

This chapter is still far from finished.

Make Core2Core a chapter in the report.

This removes some old definitions in the file and disables some content
that needs rewriting.

Make Report use globbing for dependencies.

Report now depends on all Chapters, all Utils and all local pretty
printers.

Remove debug print from pret-haskell.lua.

Define a \hs command for inline Haskell.

Fix a comment.

Add some content to the State chapter.

It is still far from complete and correct.

Add a haskell pretty printer.

This pretty printer is mostly just verbatim text, but with the ability to
apply strikethrough to lines by putting dashes around the text.

Use AddPostAction for scp'ing Report.pdf.

This is slightly more elegant than doing the scp as part of the context
builder.

Tell scons about Report.tex.

Actually use Shortcuts.tex.

Rename shortcuts.tex to Shortcuts.tex

Add some initial structure for the final report.

This structure is far from final or complete, but serves to test the
building infrastructure. Also, the State chapter contains some notes about
possible content.

Clean up SConstruct file.

Use the transformation pretty printer.

This changes two transformations to use the new pretty printer, the rest
still needs to be converted.

Make ~ a symbol in lambda calculus.