| Fri, 11 Mar 2011 08:51:39 +0000 | Christian Urban | more on the paper | file | diff | annotate |
| Wed, 02 Mar 2011 00:06:28 +0000 | Christian Urban | updated pearl papers | file | diff | annotate |
| Wed, 13 Oct 2010 22:55:58 +0100 | Christian Urban | more on the pearl paper | file | diff | annotate |
| Thu, 08 Apr 2010 09:12:13 +0200 | Christian Urban | added new paper directory for further work | file | diff | annotate |