*** empty log message ***
authorwenzelm
Mon May 12 18:34:49 1997 +0200 (1997-05-12)
changeset 3172629d63c74ddc
parent 3171 d8de47527309
child 3173 0013af1bc2c4
*** empty log message ***
doc-src/System/Makefile
doc-src/System/system.ind
doc-src/System/system.tex
     1.1 --- a/doc-src/System/Makefile	Mon May 12 18:34:34 1997 +0200
     1.2 +++ b/doc-src/System/Makefile	Mon May 12 18:34:49 1997 +0200
     1.3 @@ -12,9 +12,6 @@
     1.4  system.dvi.gz:   $(FILES) 
     1.5  	-rm system.dvi*
     1.6  	latex system
     1.7 -	rail system
     1.8 -	bibtex system
     1.9 -	latex system
    1.10  	latex system
    1.11  	../sedindex system
    1.12  	latex system
     2.1 --- a/doc-src/System/system.ind	Mon May 12 18:34:34 1997 +0200
     2.2 +++ b/doc-src/System/system.ind	Mon May 12 18:34:49 1997 +0200
     2.3 @@ -0,0 +1,25 @@
     2.4 +\begin{theindex}
     2.5 +
     2.6 +  \item browser, \bold{5}
     2.7 +
     2.8 +  \indexspace
     2.9 +
    2.10 +  \item {\tt finish_html}, \bold{2}
    2.11 +
    2.12 +  \indexspace
    2.13 +
    2.14 +  \item HTML, \bold{1}
    2.15 +
    2.16 +  \indexspace
    2.17 +
    2.18 +  \item {\tt init_html}, \bold{2}
    2.19 +
    2.20 +  \indexspace
    2.21 +
    2.22 +  \item {\tt make_html}, \bold{2}
    2.23 +
    2.24 +  \indexspace
    2.25 +
    2.26 +  \item {\tt use_dir}, 3
    2.27 +
    2.28 +\end{theindex}
     3.1 --- a/doc-src/System/system.tex	Mon May 12 18:34:34 1997 +0200
     3.2 +++ b/doc-src/System/system.tex	Mon May 12 18:34:49 1997 +0200
     3.3 @@ -15,8 +15,9 @@
     3.4          Computer Laboratory \\ University of Cambridge \\
     3.5          \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
     3.6          With Contributions by Tobias Nipkow and Markus Wenzel%
     3.7 -\thanks{  Chapter~\protect\ref{html} was written by Carsten Clasohm.
     3.8 -  Chapter~\protect\ref{browse} was written by Stefan Berghofer.}}
     3.9 +        \thanks{Chapter~\protect\ref{html} was written by Carsten
    3.10 +          Clasohm.  Chapter~\protect\ref{browse} was written by Stefan
    3.11 +          Berghofer. Some other parts are by Markus Wenzel.}}
    3.12  
    3.13  \makeindex
    3.14