doc/hochreiter/thesis_main.tex
changeset 5238 d9f9cfd09b0f
parent 1658 b404f03505cc
equal deleted inserted replaced
5237:ee17f1b81a7f 5238:d9f9cfd09b0f
     8 \usepackage{mdwlist}  % resume/suspend enumerate --> makes it 
     8 \usepackage{mdwlist}  % resume/suspend enumerate --> makes it 
     9                       % possible to build enumeration list that go over more than one section
     9                       % possible to build enumeration list that go over more than one section
    10 \usepackage{listings}
    10 \usepackage{listings}
    11 \usepackage[active]{srcltx} %Wichtig!!! \include statt \input verwenden
    11 \usepackage[active]{srcltx} %Wichtig!!! \include statt \input verwenden
    12 
    12 
    13 \usepackage[ps2pdf,                %%% hyper-references for ps2pdf
    13 %\usepackage[ps2pdf,                %%% hyper-references for ps2pdf
    14   bookmarks=true,%                   %%% generate bookmarks ...
    14 %  bookmarks=true,%                   %%% generate bookmarks ...
    15   pdfpagemode=UseOutlines,    % show the bookmarks in outline form
    15 %  pdfpagemode=UseOutlines,    % show the bookmarks in outline form
    16   pdfstartview=FitH,          % default window sizing
    16 %  pdfstartview=FitH,          % default window sizing
    17   pdfview=FitH,
    17 %  pdfview=FitH,
    18   breaklinks=true,%                  %%% breaks lines, but links are very small
    18 %  breaklinks=true,%                  %%% breaks lines, but links are very small
    19   hypertexnames=false,%              %%% needed for correct links to figures
    19 %  hypertexnames=false,%              %%% needed for correct links to figures
    20   colorlinks=false,%                  %%% to underline links instead of boxing
    20 %  colorlinks=false,%                  %%% to underline links instead of boxing
    21   urlcolor=blue]{hyperref}           %%% blue instead of cyan URLS
    21 %  urlcolor=blue]{hyperref}           %%% blue instead of cyan URLS
    22   
    22   
    23 %ISAC Logo und \see für List of Terms
    23 %ISAC Logo und \see für List of Terms
    24 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
    24 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
    25 \def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
    25 \def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
    26 % Arrow for Appendix "List of terms"
    26 % Arrow for Appendix "List of terms"
    30 
    30 
    31 % macro for relating to isac-specific terms
    31 % macro for relating to isac-specific terms
    32 \newcommand{\term}[1]{{\it#1}\glossary{#1}}
    32 \newcommand{\term}[1]{{\it#1}\glossary{#1}}
    33   
    33   
    34 %PDF Informationen
    34 %PDF Informationen
    35 \hypersetup{
    35 %\hypersetup{
    36   pdfauthor = {Mario Hochreiter},
    36 %  pdfauthor = {Mario Hochreiter},
    37   pdftitle = {The Architecture of a Graphical User Interface for Stepwise Problem Solving in \isac{}},
    37 %  pdftitle = {The Architecture of a Graphical User Interface for Stepwise Problem Solving in \isac{}},
    38   pdfsubject = {Master Thesis},
    38 %  pdfsubject = {Master Thesis},
    39   pdfcreator = {LaTeX with hyperref package},
    39 %  pdfcreator = {LaTeX with hyperref package},
    40   pdfproducer = {dvips + ps2pdf}
    40 %  pdfproducer = {dvips + ps2pdf}
    41 }
    41 %}
    42 
    42 
    43 \lstdefinelanguage{ISACXML}
    43 \lstdefinelanguage{ISACXML}
    44   {morekeywords={NODE,ID,CONTENTREF,NODECONTENT,STRING,STRINGLIST,META,GIVEN,WHERE,FIND,MATHML,ISA,
    44   {morekeywords={NODE,ID,CONTENTREF,NODECONTENT,STRING,STRINGLIST,META,GIVEN,WHERE,FIND,MATHML,ISA,
    45                  RELATE,THEORY,METHODS,EXPLANATIONS,CAS,EVALPRECOND,DESCRIPTION,FORMALIZATION,VARIANT,
    45                  RELATE,THEORY,METHODS,EXPLANATIONS,CAS,EVALPRECOND,DESCRIPTION,FORMALIZATION,VARIANT,
    46                  TERMLIST,PROBLEM,METHOD,KEY,SPECIFICATION,HIDE,DETAIL,EXAMPLE},
    46                  TERMLIST,PROBLEM,METHOD,KEY,SPECIFICATION,HIDE,DETAIL,EXAMPLE},