diff options
Diffstat (limited to 'werkstuk.tex')
-rw-r--r-- | werkstuk.tex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/werkstuk.tex b/werkstuk.tex index 3822d51..b7a3e8f 100644 --- a/werkstuk.tex +++ b/werkstuk.tex @@ -20,6 +20,9 @@ \usepackage{syntax} \usepackage{thmtools} +\usepackage{clean} +\lstset{language=Clean,breaklines,tabsize=2,xleftmargin=\parindent} + % Eigen packages \usepackage{smurf} @@ -50,6 +53,7 @@ \input{rules} \input{sosexamp} \input{analyse} +\input{cleansmurf} \input{planning} \input{refs} |