repositories
/
rsss1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
update'
[rsss1516.git]
/
long2
/
slides.tex
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
E
ditors
+ \item
Famous e
ditors
\begin{itemize}
\item Prof.\ Philip Wadler
\item \ldots