LMCS-Paper/document/root.tex
2011-09-21 Cezary Kaliszyk Load pdfsetup and hyperref last.
2011-09-19 Christian Urban polished
2011-09-14 Cezary Kaliszyk minor
2011-09-08 Christian Urban more on the paper
2011-09-06 Christian Urban more on the lmcs paper
2011-08-18 Christian Urban a bit more on the paper
2011-08-17 Christian Urban more on the lmcs paper
2011-08-16 Christian Urban more on the intro and correct style-files
2011-08-12 Christian Urban started lmcs paper (isabelle make lmcs)
less more (0) tip