projects
/
matthijs
/
master-project
/
final-presentation.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge git://github.com/christiaanb/thesispresentation
[matthijs/master-project/final-presentation.git]
/
matthijs
/
introduction.lhs
diff --git
a/matthijs/introduction.lhs
b/matthijs/introduction.lhs
index 369ab79dcb5bb3e8f692691251e19c16ecd101a7..7aff0cfd247c33e8ddfdcabfeb2643d570f24f42 100644
(file)
--- a/
matthijs/introduction.lhs
+++ b/
matthijs/introduction.lhs
@@
-204,7
+204,7
@@
in (State sum, sum)
\item Each recursion step, \texttt{f} is evaluated once.
}
-\subsection{\
clash
}
+\subsection{\
texorpdfstring{\clash{}}{CLasH}
}
\frame{
\begin{center}