LMCS-Paper/document/root.bib
2012-02-29 Christian Urban final changes to the lmcs paper
2012-02-29 Christian Urban implemented all comments from the reviewer
2011-09-21 Christian Urban bib
2011-09-21 Christian Urban more polishing
2011-09-21 Cezary Kaliszyk Correct BIB entry
2011-09-19 Christian Urban polished
2011-09-16 Christian Urban all material
2011-09-13 Christian Urban more on paper
2011-09-13 Christian Urban more on paper
2011-08-18 Christian Urban a bit more on the paper
2011-08-17 Christian Urban more on the lmcs paper
2011-08-12 Christian Urban started lmcs paper (isabelle make lmcs)
less more (0) tip