More indent fixes to the Normalization chapter.

Remove an unused (and commented) macro.

Reshuffle all transformations into categories.

This changes no text, only ordering and indentation. Transformation are
now put into a few categories (which still need an introductory text).

Allow lambda expression to be indented.

Allow transformations to be indented.

Add some stuff about provable properties of our system.

This section is still incomplete, the actual (ideas for) proofs still need
to be written.

Fix lua reference to ctxcatcodes.

Apparently something changed in context, making the old code not work (in
a weird and unexpected way).

Add some extra outline to the Hardware Description chapter.

Add more content to the Hardware Description chapter.

Finish state section in hardware description chapter.

Also move a bunch to the prototype chapter, since it is Haskell specific.

Add some more stuff about state.

Add two pictures.

Add some more context.

Add some context.

Add some more content to the State section.

Add a Context chapter.

Use \in instead of \at to refer to section numbers.

\at refers to page numbers instead.

Move the example float definition to Utils/.

Add \typebufferhs command to Haskell-typeset a buffer.

Actually compile the Future work chapter.

Add section label.

(Almost) finish the future work chapter.

Only the first two sections need some expansion.

Move the State chapter into the Hardware Description chapter.

Add a section on expressions in the Core language.

There should be another (sub)section on typing in the Core language.

Make "DEFAULT" a keyword.

Allow commas in implicit subscripts.

Fix typo.

Split "extended β-reduction" into two transformations.

Let \refdef generate clickable links.

Enable interaction (clickable links) in the table of contents.

Enable interaction (clickable links).

Reset quotation settings after changing them.

This partly works around a possible bug in Context, where \setupquotation
also affects (breaks) \quote output.

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.