tuned
authorChristian Urban <urbanc@in.tum.de>
Sun, 30 Sep 2012 00:06:52 +0100
changeset 13 6d554a18b81e
parent 12 4093d547c011
child 14 8ef75033f34e
tuned
app4.scala
slides01.tex
--- 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)
--- 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]