--- 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]