X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mtaskext.tex;h=896f03821e2eab8208c19d15adffb3e118af2cd0;hb=b446f3259c042cd5b95d7a92070efb745efd0c50;hp=a8d525f49306acca9cd0553c45d7dfe9ae53c1bb;hpb=6548a5ec9ce8e0df67fc4019625ab5238eb1bf71;p=msc-thesis1617.git

diff --git a/mtaskext.tex b/mtaskext.tex
index a8d525f..896f038 100644
--- a/mtaskext.tex
+++ b/mtaskext.tex
@@ -10,10 +10,10 @@ interfering with the existing views.
 \section{\gls{Task} Semantics}
 \input{mtaskext.tasksem}
 
-\section{\gls{SDS} semantics}
+\section{\gls{SDS} Semantics}
 \input{mtaskext.sdssem}
 
-\section{Bytecode compilation view}\label{sec:compiler}
+\section{Bytecode Compilation View}\label{sec:compiler}
 \input{mtaskext.bytecode}
 
 \section{Examples}