# HG changeset patch # User wenzelm # Date 884608367 -3600 # Node ID 779d55cc63288ec810a8d70c73c1e8c987558af0 # Parent bb8ff763c93d89bfb9e6feaaa0a7049fd2f667fd fixed author; diff -r bb8ff763c93d -r 779d55cc6328 doc-src/System/system.tex --- a/doc-src/System/system.tex Sat Jan 10 17:59:32 1998 +0100 +++ b/doc-src/System/system.tex Mon Jan 12 13:32:47 1998 +0100 @@ -7,13 +7,10 @@ \title{The Isabelle System Manual} -\author{{\em Lawrence C. Paulson} \\ - Computer Laboratory \\ University of Cambridge \\ - \texttt{lcp@cl.cam.ac.uk}\\[3ex] - With Contributions by Tobias Nipkow and Markus - Wenzel\thanks{Section~\protect\ref{sec:info} was written by Carsten - Clasohm. Section~\protect\ref{sec:browse} was written by Stefan - Berghofer. Other parts are by Markus Wenzel.}} +\author{{\em Markus Wenzel}\/\thanks{Section~\protect\ref{sec:info} was + written by Carsten Clasohm. Section~\protect\ref{sec:browse} was + written by Stefan Berghofer.} \\ + TU M\"unchen} \makeindex