projects / matthijs / master-project / report.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use antykwa for math, and palatino for serif text.
2009-08-26 Matthijs KooijmanUse antykwa for math, and palatino for serif text.
 commit | commitdiff | tree
2009-08-26 Matthijs KooijmanMake pret-haskell work also for inline \types.
 commit | commitdiff | tree
2009-08-26 Matthijs KooijmanRemove two old (empty) chapter definitions.
 commit | commitdiff | tree
2009-08-26 Matthijs KooijmanRemove \stoptext from the Normalization chapter.
 commit | commitdiff | tree
2009-08-26 Matthijs KooijmanMake \hs print in monospaced.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanRemove a few debug prints from pret-trans.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanMake pret-lam work for \type{} as well.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanActually enable the Hardware description chapter.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanUpdate the pret-trans to current context beta.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanUpdate the pret-lam to current context beta.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanFix typo in SConstruct file.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanAdd a Hardware description chapter, that describes...
commit | commitdiff | tree
2009-08-25 Matthijs KooijmanMake Core2Core a chapter in the report.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanMake Report use globbing for dependencies.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanRemove debug print from pret-haskell.lua.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanDefine a \hs command for inline Haskell.
 commit | commitdiff | tree
2009-08-25 Matthijs KooijmanFix a comment.
 commit | commitdiff | tree
Master's thesis on the cλash compiler