Use old style numbers when available.
[matthijs/master-project/report.git] / pret-lam.lua
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.