# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1348960012 -3600
# Node ID 6d554a18b81ec96b9edf9e14b3bacf8b8d9bdcf4
# Parent  4093d547c0119e9ad9f4b57a547dd6326f74ee2f
tuned

diff -r 4093d547c011 -r 6d554a18b81e app4.scala
--- a/app4.scala	Sun Sep 30 00:02:42 2012 +0100
+++ b/app4.scala	Sun Sep 30 00:06:52 2012 +0100
@@ -5,7 +5,6 @@
 
 def crawl(url: String, n: Int) : Unit = {
   if (n == 0) ()
-  //else if (my_urls.findFirstIn(url) == None) ()
   else {
     println("Visiting: " + n + " " + url)
     val page = get_page(url)
diff -r 4093d547c011 -r 6d554a18b81e slides01.tex
--- a/slides01.tex	Sun Sep 30 00:02:42 2012 +0100
+++ b/slides01.tex	Sun Sep 30 00:06:52 2012 +0100
@@ -213,7 +213,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[t]
-\frametitle{\begin{tabular}{c}A Web Crawler\end{tabular}}
+\frametitle{\begin{tabular}{c}A Web-Crawler\end{tabular}}
 
 \mbox{}\\[10mm]
 
@@ -229,7 +229,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[t]
-\frametitle{\begin{tabular}{c}A Web Crawler\end{tabular}}
+\frametitle{\begin{tabular}{c}A Web-Crawler\end{tabular}}
 
 \mbox{}\\[10mm]