1.1 --- a/src/Doc/isac/msteger/bakk-arbeit/thesis-preamble.tex Mon Sep 16 12:27:20 2013 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,183 +0,0 @@
1.4 -\usepackage[ % set page and margin sizes
1.5 - a4paper,
1.6 - twoside=false,
1.7 - top=10mm,
1.8 - bottom=10mm,
1.9 - left=20mm,
1.10 - right=20mm,
1.11 - bindingoffset=10mm,
1.12 - head=10mm,
1.13 - foot=10mm,
1.14 - headsep=10mm,
1.15 - footskip=10mm,
1.16 - includeheadfoot,
1.17 -]{geometry}
1.18 -
1.19 -\usepackage{times} % use PostScript fonts
1.20 -%\usepackage{ngerman} % causes ! Illegal parameter number in definition of \grmn@originalTeX. <to be read again> \penalty l.53 \selectlanguage{austrian}
1.21 -\usepackage{relsize} % relative font sizes \smaller \larger
1.22 -
1.23 -\usepackage[iso-8859-1]{inputenx} % so can use Umlaut chars �, �
1.24 -
1.25 -\usepackage{textcomp} % symbols such as \texttimes and \texteuro
1.26 -
1.27 -\usepackage[bf]{titlesec}
1.28 -% format chapter captions (vorher \Huge)
1.29 -\titleformat{\chapter}{\bf\huge}{\thechapter\quad}{0em}{}
1.30 -\titlespacing*{\chapter}{0em}{-2em}{1.5em}
1.31 -
1.32 -% use caption and subfig (caption2 and subfigure are now obsolete)
1.33 -\usepackage[
1.34 - position=bottom,
1.35 - margin=1cm,
1.36 - font=small,
1.37 - labelfont={bf,sf},
1.38 - format=hang,
1.39 - indention=0mm,
1.40 -]{caption,subfig}
1.41 -
1.42 -\captionsetup[subfigure]{
1.43 - margin=0pt,
1.44 - parskip=0pt,
1.45 - hangindent=0pt,
1.46 - indention=0pt,
1.47 - singlelinecheck=true,
1.48 -}
1.49 -
1.50 -
1.51 -
1.52 -% fancyhdr to make nice headers and footers
1.53 -% and deal with long chapter names
1.54 -
1.55 -\usepackage{fancyhdr} % headers and footers
1.56 -\pagestyle{fancy} % must call to set defaults before redefining
1.57 -
1.58 -\renewcommand{\headrulewidth}{0mm}
1.59 -\renewcommand{\footrulewidth}{0mm}
1.60 -\fancyhf{}
1.61 -
1.62 -\fancyhead[R]{\thepage}
1.63 -
1.64 -\fancyhead[L]{
1.65 - \parbox[t]{0.8\textwidth}{\nouppercase{\leftmark}}
1.66 -}
1.67 -
1.68 -
1.69 -% \usepackage{tabularx} % for better tables
1.70 -\usepackage{multirow}
1.71 -\usepackage{listings} % for listings of source code
1.72 -\usepackage{amsmath}
1.73 -
1.74 -
1.75 -\usepackage[austrian,english]{babel} % load babel *before* natbib or jurabib
1.76 -
1.77 -
1.78 -\usepackage[square]{natbib} % natbib but with my own knat.bst
1.79 - % made with the custom-bib package
1.80 -
1.81 -\usepackage{url}
1.82 -\def\UrlFont{\small\ttfamily}
1.83 -
1.84 -\usepackage{latexsym}
1.85 -
1.86 -\usepackage{color}
1.87 -\definecolor{lightgrey}{gray}{0.8}
1.88 -% \definecolor{darkgreen}{rgb}{0,0.2,0}
1.89 -% \definecolor{darkblue}{rgb}{0,0,0.2}
1.90 -% \definecolor{darkred}{rgb}{0.2,0,0}
1.91 -
1.92 -
1.93 -
1.94 -\usepackage{ifpdf}
1.95 -
1.96 -%begin{latexonly}
1.97 -\ifpdf
1.98 - % pdflatex
1.99 - \usepackage[pdftex]{graphicx}
1.100 - \DeclareGraphicsExtensions{.pdf,.jpg,.png}
1.101 - \pdfcompresslevel=9
1.102 - \pdfpageheight=297mm
1.103 - \pdfpagewidth=210mm
1.104 - \usepackage{rotating} % sidewaystable
1.105 - \usepackage[ % hyperref should be last package loaded
1.106 - pdftex,
1.107 - pdftitle={Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving},
1.108 - pdfsubject={Master's Thesis},
1.109 - pdfauthor={Elisabeth Joebstl},
1.110 - pdfkeywords={Model-Based Testing, Conformance Testing, Automated Test Case Generation, Input Output Symbolic Transition Systems, Symbolic Execution, SMT Solving},
1.111 - bookmarks,
1.112 - bookmarksnumbered,
1.113 - linktocpage,
1.114 - pagebackref,
1.115 - colorlinks,
1.116 - linkcolor=black,
1.117 - anchorcolor=black,
1.118 - citecolor=black,
1.119 - urlcolor=black,
1.120 - pdfview={FitH},
1.121 - pdfstartview={Fit},
1.122 - pdfpagemode=UseOutlines, % open bookmarks in Acrobat
1.123 - plainpages=false, % avoids duplicate page number problem
1.124 - pdfpagelabels, % avoids duplicate page number problem
1.125 - ]{hyperref}
1.126 -
1.127 - \renewcommand*{\backref}[1]{}
1.128 - \renewcommand*{\backrefalt}[4]{
1.129 - \ifcase #1
1.130 - (Not cited.)
1.131 - \or
1.132 - (Cited on page~#2.)
1.133 - \else
1.134 - (Cited on pages~#2.)
1.135 - \fi
1.136 - }
1.137 -
1.138 - \renewcommand*{\backrefsep}{, }
1.139 - \renewcommand*{\backreftwosep}{ and~}
1.140 - \renewcommand*{\backreflastsep}{ and~}
1.141 -
1.142 -\else
1.143 - % latex
1.144 - \usepackage{rotating} % sidewaystable
1.145 - \usepackage{graphicx}
1.146 - \DeclareGraphicsExtensions{.eps}
1.147 -\fi
1.148 -%end{latexonly}
1.149 -
1.150 -
1.151 -% \includeonly{intro,biblio} % selective inclusion
1.152 -
1.153 -
1.154 -
1.155 -\newcommand{\halfh}{9.5cm} % height of figures for 2 per page
1.156 -\newcommand{\thirdh}{6cm} % height of figures for 3 per page
1.157 -
1.158 -
1.159 -\setlength{\parskip}{3pt plus 1pt minus 0pt} % vert. space before a paragraph
1.160 -
1.161 -
1.162 -\setcounter{tocdepth}{2} % lowest section level entered in ToC % TODO FIXXME: wieder auf 1 zurücksetzen?
1.163 -\setcounter{secnumdepth}{2} % lowest section level still numbered
1.164 -
1.165 -
1.166 -\input{thesis-macros}
1.167 -
1.168 -
1.169 -% Reduce vertical distance between items
1.170 -% itemize
1.171 -\let\origitemize\itemize
1.172 -\def\itemize{\origitemize\itemsep0pt}
1.173 -%enumerate
1.174 -\let\origenumerate\enumerate
1.175 -\def\enumerate{\origenumerate\itemsep0pt}
1.176 -
1.177 -
1.178 -% FIXXME: bessere Positionierung der Graphiken
1.179 -%\setcounter{totalnumber}{8}
1.180 -%\setcounter{topnumber}{5}
1.181 -%\setcounter{bottomnumber}{5}
1.182 -
1.183 -%\renewcommand{\topfraction}{0.999}
1.184 -%\renewcommand{\bottomfraction}{0.999}
1.185 -%\renewcommand{\textfraction}{0.0005}
1.186 -