X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=marsrover%2Fdocument%2Fappendix.tex;h=3df4daf6585140284b54d5a63680c4424fae51b3;hb=HEAD;hp=f41435aaf8556ab03b59ea873195faa057de51c3;hpb=b04d0f385edb387f093c3f8e157788c38be67915;p=des2015.git

diff --git a/marsrover/document/appendix.tex b/marsrover/document/appendix.tex
index f41435a..3df4daf 100644
--- a/marsrover/document/appendix.tex
+++ b/marsrover/document/appendix.tex
@@ -1,7 +1,15 @@
 \section{Appendix}
 \lstinputlisting[label={lst:grammar},caption={Xtext grammar}]%
 	{../../dsl/xtend/src/robots/missions/TaskDSL.xtext}
+
+\newpage
+\lstinputlisting[label={lst:inst},caption={DSL instance}]%
+	{../../dsl/runtime/specs/wander.tdsl}
+
+\newpage
 \lstinputlisting[label={lst:gen},caption={Xtend code generation}]
 	{../../dsl/xtend/src/robots/missions/generator/TaskDSLGenerator.xtend}
+
+\newpage
 \lstinputlisting[label={lst:val},caption={Xtend code validation}]
 	{../../dsl/xtend/src/robots/missions/validation/TaskDSLValidator.xtend}