From: Mart Lubbers Date: Wed, 25 May 2016 06:12:18 +0000 (+0200) Subject: update' X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=25907531c356cefa21b1b8e960b5fc3995e2b8b4;p=rsss1516.git update' git push o --- diff --git a/long2/slides.tex b/long2/slides.tex index 1933c08..b87600e 100644 --- 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