update'

git push o

diff --git a/long2/slides.tex b/long2/slides.tex
index 1933c08..b87600e 100644 (file)
--- a/long2/slides.tex
+++ b/long2/slides.tex
@@ -23,7 +23,7 @@
                \item Elegance
                \item Instructive
                \item Fun
-               \item Editors
+               \item Famous editors
                        \begin{itemize}
                                \item Prof.\ Philip Wadler
                                \item \ldots