diff options
Diffstat (limited to 'aied2017/aied2017.tex')
-rw-r--r-- | aied2017/aied2017.tex | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/aied2017/aied2017.tex b/aied2017/aied2017.tex index 41bcbb7..673986c 100644 --- a/aied2017/aied2017.tex +++ b/aied2017/aied2017.tex @@ -3,9 +3,19 @@ \usepackage[utf8]{inputenc} \usepackage{fancyvrb} -\fvset{commandchars=\\\{\},baselinestretch=0.98,samepage=true,xleftmargin=5mm} +\fvset{commandchars=\\\{\},baselinestretch=0.98,samepage=true,xleftmargin=2.5mm} + +\makeatletter +\begingroup +\catcode`\`=\active +\gdef\FV@fontfamily@sf{% + \def\FV@FontScanPrep{\FV@MakeActive\`}% + \def\FV@FontFamily{\sffamily\edef`{{\string`}}}} +\endgroup +\makeatother \usepackage{forest} +\usetikzlibrary{arrows.meta} \newcommand\code[1]{\texttt{#1}} \newcommand\red[1]{{\begingroup\color[rgb]{0.8,0.15,0.15}#1\endgroup}} @@ -33,7 +43,7 @@ We evaluated our approach on past student programming data for a number of Prolo \input{introduction} \input{background} -\input{dataset} +\input{patterns} \input{method} \input{evaluation} \input{conclusion} |