| Wed, 22 Feb 2012 13:25:49 +0000 | urbanc | partially updated conference paper; slightly tuned journal paper | file | diff | annotate |
| Mon, 20 Feb 2012 11:02:50 +0000 | urbanc | some polishing of the repository | file | diff | annotate |
| Sun, 20 Nov 2011 22:53:50 +0000 | urbanc | added slides for a talk in St Andrews | file | diff | annotate |
| Mon, 22 Aug 2011 12:49:27 +0000 | urbanc | changes according to afp-submission | file | diff | annotate |