Update outline.
[matthijs/master-project/report.git] / Chapters / Normalization.tex
2009-11-06 Matthijs KooijmanFix layout of a transformation.
2009-11-06 Matthijs KooijmanAutomatically strip leading whitespace from all typing...
2009-11-05 Matthijs KooijmanImprove a footnote.
2009-11-04 Matthijs KooijmanDescribe Top level binding inlining.
2009-11-04 Matthijs KooijmanMake the normal form use only recursive lets again.
2009-11-02 Matthijs KooijmanImprove Normalization chapter a bit.
2009-11-02 Matthijs KooijmanMore indent fixes to the Normalization chapter.
2009-11-02 Matthijs KooijmanRemove an unused (and commented) macro.
2009-11-02 Matthijs KooijmanReshuffle all transformations into categories.
2009-10-30 Matthijs KooijmanAdd some stuff about provable properties of our system.
2009-10-23 Matthijs KooijmanMove the example float definition to Utils/.
2009-10-12 Matthijs KooijmanFix typo.
2009-10-12 Matthijs KooijmanSplit "extended β-reduction" into two transformations.
2009-10-09 Matthijs KooijmanUpdate the definitions section and add references.
2009-10-09 Matthijs KooijmanRestructure the section structure of the Normalization...
2009-10-08 Matthijs KooijmanImprove and clarify transformation format definition.
2009-10-08 Matthijs KooijmanAdd a section on binder uniqueness.
2009-10-06 Matthijs KooijmanAdd note about differences between Core and the graphic...
2009-10-05 Matthijs KooijmanPut "VHDL" in small caps everywhere.
2009-10-05 Matthijs KooijmanRestructure the introduction of the Normalization chapter.
2009-10-02 Matthijs KooijmanAdd two new simple normal form examples.
2009-10-01 Matthijs KooijmanSome minor wording fixes.
2009-09-29 Matthijs KooijmanPut a fancy box around transformation examples as well.
2009-09-29 Matthijs KooijmanAdd labels to all chapters.
2009-09-02 Matthijs KooijmanRemove the example sequence, it was completely out...
2009-09-02 Matthijs KooijmanImprove some text and add definitions in Normalization.
2009-09-01 Matthijs KooijmanUpdate a bunch more transformations.
2009-08-31 Matthijs KooijmanAdd content to a bunch more transformations.
2009-08-31 Matthijs KooijmanReorder and complete the list of transformations.
2009-08-28 Matthijs KooijmanAdd a new definition of the normal form.
2009-08-27 Matthijs KooijmanRemove explicit subscription underscores.
2009-08-27 Matthijs KooijmanUpdate normal form example.
2009-08-26 Matthijs KooijmanRemove \stoptext from the Normalization chapter.
2009-08-25 Matthijs KooijmanMake Core2Core a chapter in the report.