2012-02-09 | Cezary Kaliszyk | qpaper-jv: merge and add to TODOs in the paper and in front. | file | diff | annotate |
2012-02-09 | Cezary Kaliszyk | minor | file | diff | annotate |
2012-02-03 | Cezary Kaliszyk | Use the theorem by Brian, requires new Isabelle. | file | diff | annotate |
2012-01-31 | Christian Urban | 2 typos found by John Wickerson in QPaper | file | diff | annotate |
2011-12-22 | Christian Urban | moved TODO into the paper | file | diff | annotate |
2011-12-22 | Christian Urban | some slight tuning | 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 |