2009-11-11 Matthijs KooijmanFix source indentation.
2009-11-11 Matthijs KooijmanExpand the improved notation for state and pipelining...
2009-11-11 Matthijs KooijmanUpdate outline.
2009-11-11 Matthijs KooijmanPromote the Output format subsection to a section.
2009-11-11 Matthijs KooijmanPut a vector error over "output" in a figure.
2009-11-11 Matthijs KooijmanAdd the prototype to the research goals.
2009-11-11 Matthijs KooijmanProperly escape ampersands.
2009-11-10 Matthijs KooijmanAdd section on Choice.
2009-11-06 Matthijs KooijmanAdd \VHDL and \GHC shortcuts.
2009-11-06 Matthijs KooijmanEnable indent stripping for \typebufferlam and \typebuf...
2009-11-06 Matthijs KooijmanFix layout of a transformation.
2009-11-06 Matthijs KooijmanAutomatically strip leading whitespace from all typing...
2009-11-06 Matthijs KooijmanRevert "Allow transformations to be indented."
2009-11-06 Matthijs KooijmanRevert "Allow lambda expression to be indented."
2009-11-05 Matthijs KooijmanImprove a footnote.
2009-11-04 Matthijs KooijmanAdd a section on the output format.
2009-11-04 Matthijs KooijmanDescribe Top level binding inlining.
2009-11-04 Matthijs KooijmanAllow literal $'s to be used in lambda expressions.
2009-11-04 Matthijs KooijmanMake the normal form use only recursive lets again.
2009-11-04 Matthijs KooijmanExplicitely use "letrec" for recursive lets.
2009-11-04 Matthijs KooijmanMake pret-trans call pret-lam indirectly.
2009-11-02 Matthijs KooijmanImprove Normalization chapter a bit.
2009-11-02 Matthijs KooijmanUpdate outline.
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-11-02 Matthijs KooijmanAllow lambda expression to be indented.
2009-11-02 Matthijs KooijmanAllow transformations to be indented.
2009-10-30 Matthijs KooijmanAdd some stuff about provable properties of our system.
2009-10-30 Matthijs KooijmanFix lua reference to ctxcatcodes.
2009-10-30 Matthijs KooijmanAdd some extra outline to the Hardware Description...
2009-10-28 Matthijs KooijmanAdd more content to the Hardware Description chapter.
2009-10-26 Matthijs KooijmanFinish state section in hardware description chapter.
2009-10-26 Matthijs KooijmanAdd some more stuff about state.
2009-10-26 Matthijs KooijmanAdd two pictures.
2009-10-26 Matthijs KooijmanAdd some more context.
2009-10-23 Matthijs KooijmanAdd some context.
2009-10-23 Matthijs KooijmanAdd some more content to the State section.
2009-10-23 Matthijs KooijmanAdd a Context chapter.
2009-10-23 Matthijs KooijmanUse \in instead of \at to refer to section numbers.
2009-10-23 Matthijs KooijmanMove the example float definition to Utils/.
2009-10-23 Matthijs KooijmanAdd \typebufferhs command to Haskell-typeset a buffer.
2009-10-21 Matthijs KooijmanActually compile the Future work chapter.
2009-10-21 Matthijs KooijmanAdd section label.
2009-10-21 Matthijs Kooijman(Almost) finish the future work chapter.
2009-10-20 Matthijs KooijmanMove the State chapter into the Hardware Description...
2009-10-15 Matthijs KooijmanAdd a section on expressions in the Core language.
2009-10-15 Matthijs KooijmanMake "DEFAULT" a keyword.
2009-10-13 Matthijs KooijmanAllow commas in implicit subscripts.
2009-10-12 Matthijs KooijmanFix typo.
2009-10-12 Matthijs KooijmanSplit "extended β-reduction" into two transformations.
2009-10-12 Matthijs KooijmanLet \refdef generate clickable links.
2009-10-12 Matthijs KooijmanEnable interaction (clickable links) in the table of...
2009-10-12 Matthijs KooijmanEnable interaction (clickable links).
2009-10-09 Matthijs KooijmanReset quotation settings after changing them.
2009-10-09 Matthijs KooijmanUpdate the definitions section and add references.
2009-10-09 Matthijs KooijmanAdd macros for definitions and inmargin 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-06 Matthijs KooijmanAdd note to the outline.
2009-10-06 Matthijs KooijmanReduce randomization in horizontal lines.
2009-10-06 Matthijs KooijmanUse a dotted lines to separate context in a transformation.
2009-10-05 Matthijs KooijmanPut "VHDL" in small caps everywhere.
2009-10-05 Matthijs KooijmanRestructure the introduction of the Normalization chapter.
2009-10-05 Matthijs KooijmanVertically center the register output port.
2009-10-05 Matthijs KooijmanAdd a "sel" point for the selector to the multiplexers.
2009-10-05 Matthijs KooijmanMake multiplexers a bit smaller.
2009-10-05 Matthijs KooijmanAdd a "definition" float.
2009-10-05 Matthijs KooijmanLimit randomizations of boxes by the minimum dimension.
2009-10-02 Matthijs KooijmanAdd two new simple normal form examples.
2009-10-01 Matthijs KooijmanAdd boxedgraphic macro to display a metapost graphic...
2009-10-01 Matthijs KooijmanAdd \typebufferlam helper macro.
2009-10-01 Matthijs KooijmanUse width=fit for startboxed and remove startwideboxed.
2009-10-01 Matthijs KooijmanSome minor wording fixes.
2009-10-01 Matthijs KooijmanAdd multiplexer metapost object.
2009-09-30 Matthijs KooijmanAdd a midpoint Metapost macro.
2009-09-30 Matthijs KooijmanRandomize the transformation HLine a bit.
2009-09-30 Matthijs KooijmanFix type in comment.
2009-09-30 Matthijs KooijmanUpdate outline.
2009-09-30 Matthijs KooijmanDon't use uniqueMPgraphic for randomized graphics.
2009-09-30 Matthijs KooijmanUse \HLine instead of \blackrule in transformations.
2009-09-30 Matthijs KooijmanAdd \HLine command that draws a horizontal line.
2009-09-30 Matthijs KooijmanAdd TODO about globbed spaces after \eg and \ie.
2009-09-29 Matthijs KooijmanMake the box randomization scale with the box size.
2009-09-29 Matthijs KooijmanPut a fancy box around transformation examples as well.
2009-09-29 Matthijs KooijmanTweak the sizes of the frames in transformations a...
2009-09-29 Matthijs KooijmanAdd pretty boxes around various typing environments.
2009-09-29 Matthijs KooijmanAdd labels to all chapters.
2009-09-29 Matthijs KooijmanFurther expand the Prototype chapter.
2009-09-29 Matthijs KooijmanUse save instead of clearObj in a MP drawing.
2009-09-28 Matthijs KooijmanMake a start with the prototype chapter.
2009-09-28 Matthijs KooijmanAdd "New language" to the outline.
2009-09-28 Matthijs KooijmanAdd outline for Prototype chapter.
2009-09-24 Matthijs KooijmanAdd a section on research goals and an outline.
2009-09-24 Matthijs KooijmanUpdate outline.
2009-09-23 Matthijs KooijmanAdd a hack to make \overrightarrow work in MetaPost.
2009-09-23 Matthijs KooijmanDefine a custom "Register" MetaObj object.
2009-09-23 Matthijs KooijmanSet up MetaPost and MetaObj for drawing diagrams.