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

diff --git a/thesis.pre b/thesis.pre
index 9ec3c0a..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,15 +92,15 @@
 	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
-	language=Clean,                  % the language of the code
 	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
+	tabsize=4,                       % sets default tabsize to 2 spaces
+	frame=L
 }
 
 \title{iTasks and the Internet of Things}