X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.pre;h=87fd6a03383ec0d95d23530afae2b7bb81222c56;hb=96c38eaced38e4a3cb8df44ec54b778a1dc11b24;hp=8f384f247980980813660f768366fd9dfa5eaf8e;hpb=d6597e0f75fe3f156ca05fcc0903fd9f60a64396;p=msc-thesis1617.git

diff --git a/thesis.pre b/thesis.pre
index 8f384f2..87fd6a0 100644
--- a/thesis.pre
+++ b/thesis.pre
@@ -13,6 +13,8 @@
 \usepackage{lipsum}                  % dummy text
 \usepackage{listings}                % source code
 \usepackage{float}                   % floating images
+\usepackage{lmodern}                 % Better teletype fonts
+\usepackage{textcomp}                % Nice listings quotes
 
 \graphicspath{{img/}}
 
@@ -40,7 +42,7 @@
 \lstdefinelanguage{Clean}{%
 	alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
 	alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
-	morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive},
+	morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
 	sensitive=true,
 	morecomment=[l]{//},
 	morecomment=[n]{/*}{*/},
@@ -50,6 +52,7 @@
 	basewidth=0.45em,
 	columns=[c]fixed,
 	texcl=true,
+	upquote=true,
 	literate=%
 		% Basic Clean constructs
 		{\\}{{$\lambda\:$}}1
@@ -72,34 +75,34 @@
 %		{++}{{$+\!\!+$}}2
 %		{+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
 %		{:==}{{$:==$}}3
-		{\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
+%		{\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
 		%
 		% Basic iTask constructs
-		{>||>}{{$\triangleright\triangleright$}}2
-		{>>=}{{\texttt{>>=}}}3
-		{>>|}{{\texttt{>>|}}}3
-		{?>>}{{\texttt{?>>}}}3
-		{!>>}{{\texttt{!>>}}}3
-		{-||-}{{\texttt{-||-}}}4
-		{.||.}{{\texttt{.||.}}}4
-		{.&&.}{{\texttt{.\&\&.}}}4
+%		{>||>}{{$\triangleright\triangleright$}}2
+%		{>>=}{{\texttt{>>=}}}3
+%		{>>|}{{\texttt{>>|}}}3
+%		{?>>}{{\texttt{?>>}}}3
+%		{!>>}{{\texttt{!>>}}}3
+%		{-||-}{{\texttt{-||-}}}4
+%		{.||.}{{\texttt{.||.}}}4
+%		{.&&.}{{\texttt{.\&\&.}}}4
 }
 
-\newcommand{\CI}[1]{\lstinline[language=Clean]|#1|}
+\newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
 
 \lstset{%
-	breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace
-	breaklines=true,                 % sets automatic line breaking
-	captionpos=b,                    % sets the caption-position to bottom
-	keepspaces=true,                 % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)
-	basicstyle=\ttfamily\footnotesize,        % the size of the fonts that are used for the code
-	commentstyle=\itshape,           % comment style
-	keywordstyle=\bfseries,          % keyword style
-	stringstyle=\ttfamily,           % string literal style
-	showspaces=false,                % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'
-	showstringspaces=false,          % underline spaces within strings only
-	showtabs=false,                  % show tabs within strings adding particular underscores
-	tabsize=4,                       % sets default tabsize to 2 spaces
+	breakatwhitespace=false,                        % sets if automatic breaks should only happen at whitespace
+	breaklines=true,                                % sets automatic line breaking
+	captionpos=b,                                   % sets the caption-position to bottom
+	keepspaces=true,                                % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)
+	basicstyle=\ttfamily\fontseries{l}\footnotesize,% the size of the fonts that are used for the code
+	commentstyle=\itshape\fontseries{m},            % comment style
+	keywordstyle=\bfseries\fontseries{b},           % keyword style
+	stringstyle=\ttfamily,                          % string literal style
+	showspaces=false,                               % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'
+	showstringspaces=false,                         % underline spaces within strings only
+	showtabs=false,                                 % show tabs within strings adding particular underscores
+	tabsize=4,                                      % sets default tabsize to 2 spaces
 	frame=L
 }