IsaMakefile
2012-01-24 Christian Urban made all papers work again
2012-01-24 Christian Urban added a session entry in order to quickly build the heap file (tests took too long)
2011-12-20 Cezary Kaliszyk Added an initial version of qpaper-jv and a TODO of things to write about.
2011-12-17 Christian Urban cleaned all papers from the stable branch Nominal2-Isabelle2011-1
2011-11-26 Christian Urban slides for talk in Leicester
2011-08-19 Cezary Kaliszyk Add 'no-brackets' to avoid '[| |]' in papers.
2011-08-12 Christian Urban started lmcs paper (isabelle make lmcs)
less more (0) -30 -10 -7 tip