Sneaky merge of .gitignore.
Sneaky merge of the thesis.
Sneaky merge of presentation.
Moved stuff over to noweb.
Moved stuff over to noweb.
Moved stuff over to noweb.
Moved stuff over to noweb.
Moved stuff over to noweb.
Another commit of just moving things around in Makefile!
Another commit goes by...
Moved stuff over to noweb.
Moved stuff over to noweb.
Moved stuff over to noweb.
Merging branch fix-noweb, which contains a lot of tiny commits moving stuff to noweb.
Merging fix-clutter after moving next_step to clutter and removing its native code executable from the build process.
Merging master.
Simplifying Makefile rules.
Simplifying Makefile rules.
Simplifying Makefile rules.
Merging fix-noweb after simplifying a few Makefile rules.