projects / matthijs / master-project / report.git / history
| 2009-06-10 | Matthijs Kooijman | Format the example sequence as lambda calculus. | blob | commitdiff | raw |
| 2009-06-10 | Matthijs Kooijman | Add a sequence of examples for the new transformations. | blob | commitdiff | raw | diff to current |
| 2009-06-10 | Matthijs Kooijman | Add a \trans command that uses the lam pretty printing. | blob | commitdiff | raw | diff to current |
| 2009-06-10 | Matthijs Kooijman | Add support for pretty printing lambda calculus. | blob | commitdiff | raw | diff to current |
| 2009-06-10 | Matthijs Kooijman | Use a custom selection of fonts. | blob | commitdiff | raw | diff to current |
| 2009-06-03 | Matthijs Kooijman | Fix some typos. | blob | commitdiff | raw | diff to current |
| 2009-05-25 | Matthijs Kooijman | Fix typo. | blob | commitdiff | raw | diff to current |
| 2009-05-20 | Matthijs Kooijman | Add initial version of the Core2Core document. | blob | commitdiff | raw | diff to current |