Quelle latexhead.tex Sprache: Latech

% generated by GAPDoc2LaTeX from XML source (Frank Luebeck)
\documentclass[a4paper,11pt]{report}
CONFIGEarlyExtraPreamble
\usepackage[top=37mm,bottom=37mm,left=27mm,right=27mm]{geometry}
\sloppy
\pagestyle{myheadings}
\usepackage{amssymb}
\usepackage[CONFIGInputEncoding]{inputenc}
\usepackage{makeidx}
\makeindex
\usepackage{color}
\definecolor{FireBrick}{rgb}{0.5812,0.0074,0.0083}
\definecolor{RoyalBlue}{rgb}{0.0236,0.0894,0.6179}
\definecolor{RoyalGreen}{rgb}{0.0236,0.6179,0.0894}
\definecolor{RoyalRed}{rgb}{0.6179,0.0236,0.0894}
\definecolor{LightBlue}{rgb}{0.8544,0.9511,1.0000}
\definecolor{Black}{rgb}{0.0,0.0,0.0}

\definecolor{linkColor}{rgb}{CONFIGCOLORlink}
\definecolor{citeColor}{rgb}{CONFIGCOLORcite}
\definecolor{fileColor}{rgb}{CONFIGCOLORfile}
\definecolor{urlColor}{rgb}{CONFIGCOLORurl}
\definecolor{promptColor}{rgb}{CONFIGCOLORprompt}
\definecolor{brkpromptColor}{rgb}{CONFIGCOLORbrkprompt}
\definecolor{gapinputColor}{rgb}{CONFIGCOLORgapinput}
\definecolor{gapoutputColor}{rgb}{CONFIGCOLORgapoutput}

%%  for a long time these were red and blue by default,
%%  now black, but keep variables to overwrite
\definecolor{FuncColor}{rgb}{CONFIGCOLORfuncdefs}
%% strange name because of pdflatex bug:
\definecolor{Chapter }{rgb}{CONFIGCOLORchapter}
CONFIGMoreColors

\usepackage{fancyvrb}

CONFIGFontPackages

\usepackage[
            pdftex=CONFIGHRpdftex,
            bookmarks=CONFIGHRbookmarks,
            a4paper=CONFIGHRa4paper,
            pdftitle=CONFIGHRpdftitle,
            pdfcreator=CONFIGHRpdfcreator,
            colorlinks=CONFIGHRcolorlinks,
            backref=CONFIGHRbackref,
            breaklinks=CONFIGHRbreaklinks,
            linkcolor=linkColor,
            citecolor=citeColor,
            filecolor=fileColor,
            urlcolor=urlColor,
            pdfpagemode=CONFIGHRpdfpagemode, CONFIGHRMoreHyperrefOptions
           ]{hyperref}

\newcommand{\maintitlesize}{CONFIGMaintitlesize}

% write page numbers to a .pnr log file for online help
\newwrite\pagenrlog
\immediate\openout\pagenrlog =\jobname.pnr
\immediate\write\pagenrlog{PAGENRS := [}
\newcommand{\logpage}[1]{\protect\write\pagenrlog{#1, \thepage,}}
%% were never documented, give conflicts with some additional packages

\newcommand{\GAP}{\textsf{GAP}}

%% nicer description environments, allows long labels
\usepackage{enumitem}
\setdescription{style=nextline}

%% depth of toc
CONFIGTocDepth

CONFIGLateExtraPreamble

PIExtraPreamble

%% command for ColorPrompt style examples
\newcommand{\gapprompt}[1]{\color{promptColor}{\bfseries #1}}
\newcommand{\gapbrkprompt}[1]{\color{brkpromptColor}{\bfseries #1}}
\newcommand{\gapinput}[1]{\color{gapinputColor}{#1}}

\begin{document}

quality100%

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.