doc-src/System/system.tex
changeset 6623 021728c71030
parent 5170 33fbffd06c12
child 7207 ad69aa13ddf6
equal deleted inserted replaced
6622:90583d625648 6623:021728c71030
     3 
     3 
     4 \documentclass[12pt]{report}
     4 \documentclass[12pt]{report}
     5 \usepackage{graphicx,a4,../iman,../extra,../pdfsetup}
     5 \usepackage{graphicx,a4,../iman,../extra,../pdfsetup}
     6 
     6 
     7 
     7 
     8 \title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] The Isabelle System Manual}
     8 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
     9 
     9 
    10 \author{{\em Markus Wenzel}\/\thanks{Section~\protect\ref{sec:info} was
    10 \author{{\em Markus Wenzel}\/\thanks{Section~\protect\ref{sec:info} was
    11     written by Carsten Clasohm.  Section~\protect\ref{sec:browse} was
    11     written by Carsten Clasohm.  Section~\protect\ref{sec:browse} was
    12     written by Stefan Berghofer.} \\
    12     written by Stefan Berghofer.} \\
    13   TU M\"unchen}
    13   TU M\"unchen}