Paper/document/root.tex
2013-01-29 Christian Urban updated paper
2013-01-28 Christian Urban updated paper
2013-01-25 Christian Urban updated
2013-01-24 Christian Urban updated paper
2013-01-23 Christian Urban updated
2013-01-23 Christian Urban small updates
2013-01-18 Christian Urban updated turing_basic by Jian
2013-01-18 Christian Urban shortening a bit the paper and updating various things
2013-01-18 Christian Urban updated to ITP and updated directories
less more (0) tip