2011-09-21 | Cezary Kaliszyk | Load pdfsetup and hyperref last. | file | diff | annotate |
2011-09-19 | Christian Urban | polished | file | diff | annotate |
2011-09-14 | Cezary Kaliszyk | minor | file | diff | annotate |
2011-09-08 | Christian Urban | more on the paper | file | diff | annotate |
2011-09-06 | Christian Urban | more on the lmcs paper | file | diff | annotate |
2011-08-18 | Christian Urban | a bit more on the paper | file | diff | annotate |
2011-08-17 | Christian Urban | more on the lmcs paper | file | diff | annotate |
2011-08-16 | Christian Urban | more on the intro and correct style-files | file | diff | annotate |
2011-08-12 | Christian Urban | started lmcs paper (isabelle make lmcs) | file | diff | annotate |