2009-12-07 | Matthijs Kooijman | Fix things following from comments from Marco and Sabih. | blob | commitdiff | raw |
2009-12-06 | Matthijs Kooijman | Add reference about Core's operational semantics. | blob | commitdiff | raw | diff to current |
2009-12-06 | Matthijs Kooijman | Fix a lot of things following from Jan's comments. | blob | commitdiff | raw | diff to current |
2009-12-05 | Matthijs Kooijman | Add another reference. | blob | commitdiff | raw | diff to current |
2009-12-05 | Matthijs Kooijman | Add some references to the context chapter. | blob | commitdiff | raw | diff to current |
2009-12-04 | Matthijs Kooijman | Setup bibtex. | blob | commitdiff | raw | diff to current |