| Sat, 12 Jun 2010 02:36:49 +0200 | Christian Urban | completed the intro (except minor things) | file | diff | annotate |
| Fri, 11 Jun 2010 21:58:25 +0200 | Christian Urban | more intro | file | diff | annotate |
| Fri, 11 Jun 2010 14:04:58 +0200 | Christian Urban | more to the introduction of the qpaper | file | diff | annotate |
| Thu, 10 Jun 2010 10:53:51 +0200 | Christian Urban | more on the qpaper | file | diff | annotate |
| Mon, 07 Jun 2010 15:57:03 +0200 | Christian Urban | more work on intro and abstract (done for today) | file | diff | annotate |
| Mon, 07 Jun 2010 15:13:39 +0200 | Christian Urban | a bit more in the introduction and abstract | file | diff | annotate |
| Mon, 07 Jun 2010 11:33:00 +0200 | Christian Urban | improved abstract, some tuning | file | diff | annotate |
| Tue, 01 Jun 2010 15:58:59 +0200 | Christian Urban | added larry's quote | file | diff | annotate |
| Sat, 29 May 2010 00:16:39 +0200 | Christian Urban | first version of the abstract | file | diff | annotate |
| Sun, 23 May 2010 16:45:00 +0100 | Christian Urban | changed qpaper to lncs-style | file | diff | annotate |
| Mon, 03 May 2010 08:52:15 +0100 | Christian Urban | some preliminary notes of the abstract (qpaper); still need to see the motivating example | file | diff | annotate |
| Thu, 29 Apr 2010 09:13:18 +0200 | Christian Urban | added stub for quotient paper; call with isabelle make qpaper | file | diff | annotate |