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