tuned
authorChristian Urban <urbanc@in.tum.de>
Sun, 29 Aug 2010 12:17:25 +0800
changeset 2453 2f47291b6ff9
parent 2452 39f8d405d7a2
child 2454 9ffee4eb1ae1
tuned
README
--- a/README	Sun Aug 29 12:14:40 2010 +0800
+++ b/README	Sun Aug 29 12:17:25 2010 +0800
@@ -28,4 +28,6 @@
 Pearl         ... accepted at ITP 
 Pearl-jv      ... journal version
 
-Quotient-Paper .. submitted to SAC
\ No newline at end of file
+Quotient-Paper .. submitted to SAC
+
+Slides        ... various talks Christian gave recently
\ No newline at end of file