repositories
/
msc-thesis1617.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
camil's comment chp5
[msc-thesis1617.git]
/
mtaskext.tex
diff --git
a/mtaskext.tex
b/mtaskext.tex
index
a8d525f
..
896f038
100644
(file)
--- a/
mtaskext.tex
+++ b/
mtaskext.tex
@@
-10,10
+10,10
@@
interfering with the existing views.
\section{\gls{Task} Semantics}
\input{mtaskext.tasksem}
\section{\gls{Task} Semantics}
\input{mtaskext.tasksem}
-\section{\gls{SDS}
s
emantics}
+\section{\gls{SDS}
S
emantics}
\input{mtaskext.sdssem}
\input{mtaskext.sdssem}
-\section{Bytecode
compilation v
iew}\label{sec:compiler}
+\section{Bytecode
Compilation V
iew}\label{sec:compiler}
\input{mtaskext.bytecode}
\section{Examples}
\input{mtaskext.bytecode}
\section{Examples}