--- a/handouts/pep-ho.tex Tue Jul 10 15:09:28 2018 +0100
+++ b/handouts/pep-ho.tex Tue Jul 10 15:12:14 2018 +0100
@@ -51,7 +51,7 @@
\begin{quote}
\url{http://www.scala-lang.org}
-\end{quote}
+\end{quote}
\noindent
I found a convenient IDE for writing Scala programs is Microsoft's