X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.pre;h=8f384f247980980813660f768366fd9dfa5eaf8e;hb=c701de5fbdb875ad9c2257f6fb54ebc8f7805d77;hp=bb610fb262caf1c39ce16b85e84808d2759f46a3;hpb=b0fc85be57e369c5a04adaba4d6920a59d3d36e2;p=msc-thesis1617.git

diff --git a/thesis.pre b/thesis.pre
index bb610fb..8f384f2 100644
--- a/thesis.pre
+++ b/thesis.pre
@@ -55,23 +55,23 @@
 		{\\}{{$\lambda\:$}}1
 		{A.}{{$\forall\;\,$}}1
 		{E.}{{$\exists\;\,$}}1
-		{>}{{$>$}}1
-		{<}{{$<$}}1
-		{<=}{{$\leq$}}1
-		{>=}{{$\geq$}}1
-		{<>}{{$\neq$}}1
-		{->}{{$\rightarrow$}}2
-		{<-}{{$\leftarrow$}}1
-		{=}{{$=$}}1
-		{~}{{$\sim$}}1
-		{\#}{{$\sharp$}}1
-		{\{|}{{$\{\!|\!$}}1
-		{|\}}{{$\!|\!\}$}}1
-		{:=}{{$:=$}}2
-		{==}{{$==$}}2
-		{++}{{$+\!\!+$}}2
-		{+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
-		{:==}{{$:==$}}3
+%		{>}{{$>$}}1
+%		{<}{{$<$}}1
+%		{<=}{{$\leq$}}1
+%		{>=}{{$\geq$}}1
+%		{<>}{{$\neq$}}1
+%		{->}{{$\rightarrow$}}2
+%		{<-}{{$\leftarrow$}}1
+%		{=}{{$=$}}1
+%		{~}{{$\sim$}}1
+%		{\#}{{$\sharp$}}1
+%		{\{|}{{$\{\!|\!$}}1
+%		{|\}}{{$\!|\!\}$}}1
+%		{:=}{{$:=$}}2
+%		{==}{{$==$}}2
+%		{++}{{$+\!\!+$}}2
+%		{+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
+%		{:==}{{$:==$}}3
 		{\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
 		%
 		% Basic iTask constructs
@@ -92,7 +92,7 @@
 	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=\footnotesize,        % the size of the fonts that are used for the code
+	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