| Thu, 08 Apr 2010 10:25:13 +0200 | Christian Urban | some further changes | file | diff | annotate |
| Tue, 06 Apr 2010 14:08:06 +0200 | Christian Urban | added reference to E. Gunter's work | file | diff | annotate |
| Sat, 03 Apr 2010 21:53:04 +0200 | Christian Urban | merged pearl paper with this repository; started litrature subdirectory | file | diff | annotate |