| 2010-07-23 | Christian Urban | samll changes | file | diff | annotate |
| 2010-07-02 | Christian Urban | more on the paper | file | diff | annotate |
| 2010-07-01 | Christian Urban | spell check | file | diff | annotate |
| 2010-06-30 | Christian Urban | more work on the paper | file | diff | annotate |
| 2010-06-10 | Christian Urban | adapted to the official sigplan style file (this gives us more space) | file | diff | annotate |
| 2010-06-07 | Christian Urban | new title for POPL paper | file | diff | annotate |