2009-06-10 | Matthijs Kooijman | Add a \trans command that uses the lam pretty printing. |
commit | commitdiff | tree |
2009-06-10 | Matthijs Kooijman | Add support for pretty printing lambda calculus. |
commit | commitdiff | tree |
2009-06-10 | Matthijs Kooijman | Use a custom selection of fonts. |
commit | commitdiff | tree |
2009-06-03 | Matthijs Kooijman | Fix some typos. |
commit | commitdiff | tree |
2009-05-25 | Matthijs Kooijman | Fix typo. |
commit | commitdiff | tree |
2009-05-20 | Matthijs Kooijman | Add a SConstruct file for building Core2Core.pdf. |
commit | commitdiff | tree |
2009-05-20 | Matthijs Kooijman | Add a few progress documents. |
commit | commitdiff | tree |
2009-05-20 | Matthijs Kooijman | Add the latest version of the flat functions document. |
commit | commitdiff | tree |
2009-05-20 | Matthijs Kooijman | Add initial version of the Core2Core document. |
commit | commitdiff | tree |