| Tue, 03 Apr 2012 23:09:13 +0100 | Christian Urban | a bit more on the qpaper | file | diff | annotate |
| Mon, 26 Mar 2012 12:36:03 +0200 | Cezary Kaliszyk | qpaper-jv add a section about descending etc | file | diff | annotate |
| Wed, 21 Mar 2012 20:34:04 +0000 | Christian Urban | slight tuning of Q-paper-jv | file | diff | annotate |
| Wed, 22 Feb 2012 12:10:17 +0000 | Christian Urban | slight polish of the qpaper-jv | file | diff | annotate |
| Thu, 09 Feb 2012 15:18:10 +0100 | Cezary Kaliszyk | qpaper-jv: merge and add to TODOs in the paper and in front. | file | diff | annotate |
| Thu, 09 Feb 2012 14:47:24 +0100 | Cezary Kaliszyk | minor | file | diff | annotate |
| Fri, 03 Feb 2012 16:36:18 +0100 | Cezary Kaliszyk | Use the theorem by Brian, requires new Isabelle. | file | diff | annotate |
| Tue, 31 Jan 2012 16:26:36 +0000 | Christian Urban | 2 typos found by John Wickerson in QPaper | file | diff | annotate |
| Thu, 22 Dec 2011 05:15:37 +0000 | Christian Urban | moved TODO into the paper | file | diff | annotate |
| Thu, 22 Dec 2011 04:46:37 +0000 | Christian Urban | some slight tuning | file | diff | annotate |
| Tue, 20 Dec 2011 17:54:53 +0900 | Cezary Kaliszyk | Added an initial version of qpaper-jv and a TODO of things to write about. | file | diff | annotate |