2009-06-10 | Matthijs Kooijman | Add support for pretty printing lambda calculus. | blob | commitdiff | raw |
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 |