Improve graph representation section a bit.
[matthijs/master-project/report.git] / pret-lam.lua
2009-12-01 Matthijs KooijmanUse \$ instead of just $ in lambda expressions.
2009-12-01 Matthijs KooijmanSupport ▶ in the lambda prettyprinter.
2009-11-26 Matthijs KooijmanFix typo in regex for subscripts.
2009-11-24 Matthijs KooijmanUse the unicode rightwards arrow instead of \rightarrow.
2009-11-24 Matthijs KooijmanSupport => in the lambda prettyprinter.
2009-11-24 Matthijs KooijmanUse a non-breaking space instead of \obs in the lambda...
2009-11-24 Matthijs KooijmanPut DEFAULT in smallcaps in the lambda prettyprinter.
2009-11-06 Matthijs KooijmanRevert "Allow lambda expression to be indented."
2009-11-04 Matthijs KooijmanAllow literal $'s to be used in lambda expressions.
2009-11-02 Matthijs KooijmanAllow lambda expression to be indented.
2009-10-15 Matthijs KooijmanMake "DEFAULT" a keyword.
2009-10-13 Matthijs KooijmanAllow commas in implicit subscripts.
2009-10-06 Matthijs KooijmanUse a dotted lines to separate context in a transformation.
2009-09-02 Matthijs KooijmanAdd letrec and letnonrec as keywords to pret-lam.
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 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-25 Matthijs KooijmanMake pret-lam work for \type{} as well.
2009-08-25 Matthijs KooijmanUpdate the pret-lam to current context beta.
2009-07-27 Matthijs KooijmanMake ~ a symbol in lambda calculus.
2009-07-01 Matthijs KooijmanAllow a word to start with uppercase letters too.
2009-07-01 Matthijs KooijmanOnly allow a word to start with a-z in pret-lam.
2009-06-29 Matthijs KooijmanUpdate pret-lam to a new version of by begin/end_of_buf...
2009-06-11 Matthijs KooijmanMake pret-lam remember subscripted words.
2009-06-11 Matthijs KooijmanMake pret-lam support superscripts.
2009-06-11 Matthijs KooijmanRestructure pret-lam.
2009-06-10 Matthijs KooijmanPrevent pret-lam from matching subwords.
2009-06-10 Matthijs KooijmanLet pret-lam recognize the * symbol.
2009-06-10 Matthijs KooijmanLet pret-lam recognize the "in" keyword.
2009-06-10 Matthijs KooijmanLet pret-lam escape _ characters.
2009-06-10 Matthijs KooijmanAdd support for pretty printing lambda calculus.