Remove some progress documents, they are being stored elsewhere.

Fix the headers on the conclusion and references list.

Actually include the acknowledgements.

Do not put the frontmatter titles into the header area.

Add acknowledgements.

Require a word (including its subscript) to end in a number or letter.

Don't put AvgStateRemoved in a float.

Doing this completely foobarred the strikethrough...

Allow single digit subscripts again.

Accidentally got disabled a while back.

Fix / remove some final todos.

Add reference.

Some fixes to the prototype chapter.

Slightly improve the determinism proof section.

Actually add bibtex entries for added references.

Improve layout and add citation.

Add a section on proving determinism.

Use the logical and from the roman font.

The sans font doesn't have it.

Add the ->> symbol to the lambda prettyprinter.

Allow for ordering of symbols in the lambda prettyprinter.

By using an array instead of a table, the symbols can be ordered. This
allows using symbols where one is a prefix of the other, by placing the
longer one first.

Fix spelling as suggested by aspell.

Fix references.

Reduce with of some code to make a better fit.

Fix typo in buffer name.

Add a section on prototype implementation (with the git url).

Add pronounciation of Cλash.

Add abstract.

Say University of Twente instead Twente University.

Say something about using top level function instead of binder.

Say Core instead of core.

Fix references to the inverter examples.

Put CaseInv and PatternInv in the same float.

Add generated VHDL to the hardware description chapter.

Put spaces in example and definition labels.

Put some function names inside \hs.

Don't use haddock style comments.

This will probably only confuse readers.

Add two intermezzo's and shuffle some floats around.

One intermezzo about reading Cλash and one about null, head and tail.

Fix the return value simplification transformation.

Suppres headers on the final (empty) page.

Only show three levels of contents.

Replace a starttyping with starthaskell.

Prevent page breaks directly before boxed typings.

Restart numbering of footnotes on every page.

Add boxes around two figures.

Unify examples, figures and definitions.

They now all use the same numbering and all have their captions at the
top.

Prevent spaces after citations from being gobbled.

Fix some more header stuff.

Misc fixes from own review.

Add a VHDL typing style (and some other fixes).

This was an attempt to get line numbering on the VHDL files, but
apparently line numbering is broken in MkIV. Oh well, at least it added
a nice box around the VHDL.

Fix the font of footnotes.

It now has a lambda!

Set up headers, footers and page numbers.

Improve the layout of intermezzos.

In particular, don't put spacing above and below it, which looks ugly.

Move a sidenote.

Disable display of TODO's.

Use η/β-expansion instead of η/β-abstraction.

Add Scrutinee binder removal.

Move some examples around.

Actually refer to the intended normal form definition.

Some more fixed resulting from Jan's comments.

Always use a lowercase letter after a colon.

Improve some wordings.

Add sitenote about arguments vs. inputs.

Fix a reference.

Add intermezzo on wild binders.

Improve the titlepage.

Add an intermezzo about the id function.

Add some content to the case normalization section.

Remove deprecated paragraph.

Remove TODO (links were made non-bold a few commits back).

Move references to the larger margin.

Use \VHDL\ (etc.) instead of relying on \autoinsertnextspace.

The \autoinsertnextspace macro is not always reliable and was removed in
a recent ConTeXt version.

Remove TODO.

Say something about not using simplified core.

Remove some TODOs.

Add a section on simulation.

Use normal style zeroes instead of using the sans font.

Don't suggest messing with the clock input.

Instead, use a register's write enable port.

Move the Template Haskell intermezzo a bit down.

Invert the intermezzo offset.

This looks way better for left margin intermezzo's and doesn't seem to
matter much on right ones.

Set up doublesided margins and pagenumbering.

Put one more 0 in another font.

Fix things following from comments from Marco and Sabih.

Add reference about Core's operational semantics.

Fix a lot of things following from Jan's comments.

Improve strikethrough a bit.

Remove debug print from pret-lam.

Limit luatex to 500M of virtual memory.

Luatex has the tendency to bring down the entire system when it goes
into some infinite loop.

Make a var local (again) in pret-lam.

Prettyprint comments in italic.

Add strikethrough to the lambda prettyprinter.

Add TODO.

Various small fixes following from Bert's commentaar.

Add backmatter commands.

Remove unused defref.

Remove a TODO.

Replace statement with expression everywhere.

Add another reference.

Add some references to the context chapter.

Make sure the list of references is numbered.

Fix todo's in the introduction chapter.

Allow passing a once option to scons.

Setup bibtex.