diff -r 7f3760f39bdc -r f8845fc8f38d doc-isac/msteger/bakk-arbeit/thesis-preamble.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-isac/msteger/bakk-arbeit/thesis-preamble.tex	Tue Sep 17 09:50:52 2013 +0200
@@ -0,0 +1,183 @@
+\usepackage[          % set page and margin sizes
+  a4paper,
+  twoside=false,
+  top=10mm,
+  bottom=10mm,
+  left=20mm,
+  right=20mm,
+  bindingoffset=10mm,
+  head=10mm,
+  foot=10mm,
+  headsep=10mm,
+  footskip=10mm,
+  includeheadfoot,
+]{geometry}
+
+\usepackage{times}                   % use PostScript fonts
+%\usepackage{ngerman}                % causes ! Illegal parameter number in definition of \grmn@originalTeX. <to be read again> \penalty l.53 \selectlanguage{austrian}
+\usepackage{relsize}                 % relative font sizes \smaller \larger
+
+\usepackage[iso-8859-1]{inputenx}    % so can use Umlaut chars  �, �
+
+\usepackage{textcomp}                % symbols such as \texttimes and \texteuro
+
+\usepackage[bf]{titlesec}
+% format chapter captions (vorher \Huge)
+\titleformat{\chapter}{\bf\huge}{\thechapter\quad}{0em}{}
+\titlespacing*{\chapter}{0em}{-2em}{1.5em}
+
+% use caption and subfig (caption2 and subfigure are now obsolete)
+\usepackage[
+  position=bottom,
+  margin=1cm,
+  font=small,
+  labelfont={bf,sf},
+  format=hang,
+  indention=0mm,
+]{caption,subfig}
+
+\captionsetup[subfigure]{
+  margin=0pt,
+  parskip=0pt,
+  hangindent=0pt,
+  indention=0pt,
+  singlelinecheck=true,
+}
+
+
+
+% fancyhdr to make nice headers and footers
+% and deal with long chapter names
+
+\usepackage{fancyhdr}         % headers and footers
+\pagestyle{fancy}             % must call to set defaults before redefining
+
+\renewcommand{\headrulewidth}{0mm}
+\renewcommand{\footrulewidth}{0mm}
+\fancyhf{}
+
+\fancyhead[R]{\thepage}
+
+\fancyhead[L]{
+  \parbox[t]{0.8\textwidth}{\nouppercase{\leftmark}}
+}
+
+
+% \usepackage{tabularx}                 % for better tables
+\usepackage{multirow}
+\usepackage{listings}                 % for listings of source code
+\usepackage{amsmath}
+
+
+\usepackage[austrian,english]{babel}  % load babel *before* natbib or jurabib
+
+
+\usepackage[square]{natbib}         % natbib but with my own knat.bst
+                                    % made with the custom-bib package
+
+\usepackage{url}
+\def\UrlFont{\small\ttfamily}
+
+\usepackage{latexsym}
+
+\usepackage{color}
+\definecolor{lightgrey}{gray}{0.8}
+% \definecolor{darkgreen}{rgb}{0,0.2,0}
+% \definecolor{darkblue}{rgb}{0,0,0.2}
+% \definecolor{darkred}{rgb}{0.2,0,0}
+
+
+
+\usepackage{ifpdf}
+
+%begin{latexonly}
+\ifpdf
+  % pdflatex
+  \usepackage[pdftex]{graphicx}
+  \DeclareGraphicsExtensions{.pdf,.jpg,.png}
+  \pdfcompresslevel=9
+  \pdfpageheight=297mm
+  \pdfpagewidth=210mm
+  \usepackage{rotating}				% sidewaystable
+  \usepackage[         % hyperref should be last package loaded
+    pdftex,
+    pdftitle={Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving},
+    pdfsubject={Master's Thesis},
+    pdfauthor={Elisabeth Joebstl},
+    pdfkeywords={Model-Based Testing, Conformance Testing, Automated Test Case Generation, Input Output Symbolic Transition Systems, Symbolic Execution, SMT Solving},
+    bookmarks,
+    bookmarksnumbered,
+    linktocpage,
+    pagebackref,
+    colorlinks,
+    linkcolor=black,
+    anchorcolor=black,
+    citecolor=black,
+    urlcolor=black,
+    pdfview={FitH},
+    pdfstartview={Fit},
+    pdfpagemode=UseOutlines,       % open bookmarks in Acrobat
+    plainpages=false,              % avoids duplicate page number problem
+    pdfpagelabels,                 % avoids duplicate page number problem
+  ]{hyperref}
+
+  \renewcommand*{\backref}[1]{}
+  \renewcommand*{\backrefalt}[4]{
+  \ifcase #1
+  (Not cited.)
+  \or
+  (Cited on page~#2.)
+  \else
+  (Cited on pages~#2.)
+  \fi
+  }
+
+  \renewcommand*{\backrefsep}{, }
+  \renewcommand*{\backreftwosep}{ and~}
+  \renewcommand*{\backreflastsep}{ and~}
+
+\else
+  % latex
+  \usepackage{rotating}				% sidewaystable
+  \usepackage{graphicx}
+  \DeclareGraphicsExtensions{.eps}
+\fi
+%end{latexonly}
+
+
+% \includeonly{intro,biblio}   % selective inclusion
+
+
+
+\newcommand{\halfh}{9.5cm}        % height of figures for 2 per page
+\newcommand{\thirdh}{6cm}         % height of figures for 3 per page
+
+
+\setlength{\parskip}{3pt plus 1pt minus 0pt}  % vert. space before a paragraph
+
+
+\setcounter{tocdepth}{2}        % lowest section level entered in ToC % TODO FIXXME: wieder auf 1 zurücksetzen?
+\setcounter{secnumdepth}{2}     % lowest section level still numbered
+
+
+\input{thesis-macros}
+
+
+% Reduce vertical distance between items
+% itemize
+\let\origitemize\itemize
+\def\itemize{\origitemize\itemsep0pt}
+%enumerate
+\let\origenumerate\enumerate
+\def\enumerate{\origenumerate\itemsep0pt}
+
+
+% FIXXME: bessere Positionierung der Graphiken
+%\setcounter{totalnumber}{8}
+%\setcounter{topnumber}{5}
+%\setcounter{bottomnumber}{5}
+
+%\renewcommand{\topfraction}{0.999}
+%\renewcommand{\bottomfraction}{0.999}
+%\renewcommand{\textfraction}{0.0005}
+