1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Doc/isac/msteger/bakk-arbeit/thesis-preamble.tex Sun Jul 14 14:48:14 2013 +0200
1.3 @@ -0,0 +1,183 @@
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 +