2009-06-11 | Matthijs Kooijman | Make pret-lam remember subscripted words. | blob | commitdiff | raw |
2009-06-11 | Matthijs Kooijman | Make pret-lam support superscripts. | blob | commitdiff | raw | diff to current |
2009-06-11 | Matthijs Kooijman | Restructure pret-lam. | blob | commitdiff | raw | diff to current |
2009-06-10 | Matthijs Kooijman | Prevent pret-lam from matching subwords. | blob | commitdiff | raw | diff to current |
2009-06-10 | Matthijs Kooijman | Let pret-lam recognize the * symbol. | blob | commitdiff | raw | diff to current |
2009-06-10 | Matthijs Kooijman | Let pret-lam recognize the "in" keyword. | blob | commitdiff | raw | diff to current |
2009-06-10 | Matthijs Kooijman | Let pret-lam escape _ characters. | blob | commitdiff | raw | diff to current |
2009-06-10 | Matthijs Kooijman | Add support for pretty printing lambda calculus. | blob | commitdiff | raw | diff to current |