Sat, 03 Apr 2010 21:53:04 +0200 merged pearl paper with this repository; started litrature subdirectory
Christian Urban <urbanc@in.tum.de> [Sat, 03 Apr 2010 21:53:04 +0200] rev 1772
merged pearl paper with this repository; started litrature subdirectory
Fri, 02 Apr 2010 15:28:55 +0200 submitted version (just in time ;o)
Christian Urban <urbanc@in.tum.de> [Fri, 02 Apr 2010 15:28:55 +0200] rev 1771
submitted version (just in time ;o)
Fri, 02 Apr 2010 13:12:10 +0200 first complete version (slightly less than 3h more to go)
Christian Urban <urbanc@in.tum.de> [Fri, 02 Apr 2010 13:12:10 +0200] rev 1770
first complete version (slightly less than 3h more to go)
Fri, 02 Apr 2010 07:59:03 +0200 tuned
Christian Urban <urbanc@in.tum.de> [Fri, 02 Apr 2010 07:59:03 +0200] rev 1769
tuned
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip