matthijs/master-project/report.git
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.
2009-09-23 Matthijs KooijmanRun texexec under nice.
2009-09-18 Matthijs KooijmanUse the moder math font, since it has vector arrows.
2009-09-16 Matthijs KooijmanActually use the Introduction chapter.
2009-09-16 Matthijs KooijmanUse old style numbers when available.
2009-09-09 Matthijs KooijmanAdd a brainstorm for an outline.
2009-09-09 Matthijs KooijmanAdd (a start of) an introduction).
2009-09-09 Matthijs KooijmanAdd a bit content to a new Future Work chapter.
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-02 Matthijs KooijmanAdd a small bit of whitespace beteen paragraphs.
2009-09-02 Matthijs KooijmanDefine \epmh{foo} for easy emphasis.
2009-09-02 Matthijs KooijmanAdd letrec and letnonrec as keywords to pret-lam.
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-31 Matthijs KooijmanAdd a bit spacing after a transformation.
2009-08-28 Matthijs KooijmanAdd a new definition of the normal form.
2009-08-28 Matthijs KooijmanMake pret-lam preserve alignment using whitespace.
2009-08-28 Matthijs KooijmanDeclare variables as local in pret-lam.
2009-08-28 Matthijs KooijmanSupport the | character in pret-lam.
2009-08-27 Matthijs KooijmanRemove explicit subscription underscores.
2009-08-27 Matthijs KooijmanUpdate normal form example.
2009-08-27 Matthijs KooijmanLet all lambda expressions in pret-trans share subscrip...
2009-08-27 Matthijs KooijmanLet pret-lam support blocks of multiple lambda expressions.
2009-08-27 Matthijs KooijmanUse local variables for storing visualizer dicts.
2009-08-27 Matthijs KooijmanImprove subscript handling in pret-lam.
2009-08-27 Matthijs KooijmanMake pret-trans complain on invalid input.
2009-08-27 Matthijs KooijmanUse the Linux Libertine roman font for regular text.
2009-08-26 Matthijs KooijmanUse antykwa for math, and palatino for serif text.
2009-08-26 Matthijs KooijmanMake pret-haskell work also for inline \types.
2009-08-26 Matthijs KooijmanRemove two old (empty) chapter definitions.
2009-08-26 Matthijs KooijmanRemove \stoptext from the Normalization chapter.
2009-08-26 Matthijs KooijmanMake \hs print in monospaced.
2009-08-25 Matthijs KooijmanRemove a few debug prints from pret-trans.
2009-08-25 Matthijs KooijmanMake pret-lam work for \type{} as well.
2009-08-25 Matthijs KooijmanActually enable the Hardware description chapter.
2009-08-25 Matthijs KooijmanUpdate the pret-trans to current context beta.
2009-08-25 Matthijs KooijmanUpdate the pret-lam to current context beta.
2009-08-25 Matthijs KooijmanFix typo in SConstruct file.
2009-08-25 Matthijs KooijmanAdd a Hardware description chapter, that describes...
2009-08-25 Matthijs KooijmanMake Core2Core a chapter in the report.
2009-08-25 Matthijs KooijmanMake Report use globbing for dependencies.
2009-08-25 Matthijs KooijmanRemove debug print from pret-haskell.lua.
2009-08-25 Matthijs KooijmanDefine a \hs command for inline Haskell.
2009-08-25 Matthijs KooijmanFix a comment.
2009-08-20 Matthijs KooijmanAdd some content to the State chapter.
2009-08-20 Matthijs KooijmanAdd a haskell pretty printer.
2009-07-30 Matthijs KooijmanUse AddPostAction for scp'ing Report.pdf.
2009-07-28 Matthijs KooijmanTell scons about Report.tex.
2009-07-28 Matthijs KooijmanActually use Shortcuts.tex.
2009-07-28 Matthijs KooijmanRename shortcuts.tex to Shortcuts.tex
2009-07-27 Matthijs KooijmanAdd some initial structure for the final report.
2009-07-27 Matthijs KooijmanClean up SConstruct file.
2009-07-27 Matthijs KooijmanUse the transformation pretty printer.
2009-07-27 Matthijs KooijmanMake ~ a symbol in lambda calculus.
next