2010-07-23 | Christian Urban | samll changes | file | diff | annotate |
2010-07-16 | Christian Urban | submitted version | file | diff | annotate |
2010-07-16 | Christian Urban | more paper | file | diff | annotate |
2010-07-16 | Christian Urban | more on the paper | file | diff | annotate |
2010-07-16 | Christian Urban | more on the paper | file | diff | annotate |
2010-07-15 | Christian Urban | a bit more to the paper | file | diff | annotate |
2010-07-14 | Christian Urban | more on the paper | file | diff | annotate |
2010-07-09 | Christian Urban | fixed | file | diff | annotate |
2010-07-09 | Christian Urban | before examples | file | diff | annotate |
2010-07-09 | Christian Urban | finished alpha-section | file | diff | annotate |
2010-07-07 | Christian Urban | more on the paper | file | diff | annotate |
2010-07-07 | Christian Urban | more on the paper | file | diff | annotate |
2010-07-02 | Christian Urban | more on the paper | file | diff | annotate |
2010-07-02 | Christian Urban | finished fv-section | file | diff | annotate |
2010-07-01 | 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-23 | Christian Urban | some slight polishing on the paper | file | diff | annotate |
2010-06-23 | Christian Urban | merged cezary's changes | file | diff | annotate |
2010-06-10 | Christian Urban | added to the popl-paper a pointer to work by Altenkirch | file | diff | annotate |
2010-06-01 | Christian Urban | tuned | file | diff | annotate |
2010-05-26 | Christian Urban | added FSet to the correct paper | file | diff | annotate |
2010-05-26 | Christian Urban | added FSet | file | diff | annotate |
2010-05-25 | Christian Urban | edits from the reviewers | file | diff | annotate |
2010-05-24 | Christian Urban | tuned paper | file | diff | annotate |
2010-05-19 | Christian Urban | added comments about pottiers work | file | diff | annotate |
2010-05-18 | Christian Urban | soem minor tuning | file | diff | annotate |
2010-05-16 | Christian Urban | tuned paper | file | diff | annotate |
2010-05-15 | Christian Urban | tuned paper | file | diff | annotate |
2010-05-14 | Christian Urban | tuned a bit the paper | file | diff | annotate |