X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Fgreen.tex;fp=top%2Fgreen.tex;h=45e2e0c996bf27725f71174d6e3fd6018bb93e5a;hb=27d1d51bf3f3acc08c002a5d58af6a4f4332e3f8;hp=2ba1ffd7784597c28210d8ab8d1951ebc14afada;hpb=f281d83fd6978fe06aef38290808527ed970fd41;p=phd-thesis.git

diff --git a/top/green.tex b/top/green.tex
index 2ba1ffd..45e2e0c 100644
--- a/top/green.tex
+++ b/top/green.tex
@@ -193,7 +193,7 @@ Evaluating a task earlier should not change its result but just consumes more en
 \end{equ}
 
 \subsubsection{Sequential combinators}
-For the step combinator (\cref{R:step})---and all other derived sequential combinators---the refresh rate of the left-hand side task is taken since that is the only task that is rewritten.
+For the step combinator (\cref{R:step})---and all other derived sequential combinators\nobreak---\nobreak\hskip0ptthe refresh rate of the left-hand side task is taken since that is the only task that is rewritten.
 Only after stepping, the combinator rewrites to the right-hand side.
 
 \subsubsection{Repeating combinators}
@@ -585,5 +585,8 @@ Evaluating interrupt task node in the task tree is trivial because all of the wo
 The task emits the status of the pin as a stable value if the information in the task shows that it was triggered.
 Otherwise, no value is emitted.
 
+\section{Conclusion}
+\todo[inline]{Conclusion}
+
 \input{subfilepostamble}
 \end{document}