2012-04-03 | Christian Urban | a bit more on the qpaper | file | diff | annotate |
2012-03-26 | Cezary Kaliszyk | qpaper-jv add a section about descending etc | file | diff | annotate |
2012-03-21 | Christian Urban | slight tuning of Q-paper-jv | file | diff | annotate |
2012-02-22 | Christian Urban | slight polish of the qpaper-jv | file | diff | annotate |
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 |