--- a/doc-src/System/system.tex Wed May 14 18:42:09 1997 +0200
+++ b/doc-src/System/system.tex Wed May 14 19:27:21 1997 +0200
@@ -17,7 +17,7 @@
With Contributions by Tobias Nipkow and Markus Wenzel%
\thanks{Chapter~\protect\ref{html} was written by Carsten
Clasohm. Chapter~\protect\ref{browse} was written by Stefan
- Berghofer. Some other parts are by Markus Wenzel.}}
+ Berghofer. Other parts are by Markus Wenzel.}}
\makeindex
@@ -35,7 +35,10 @@
%\include{introduction}
-\include{html}
+\include{basics}
+\include{misc}
+\include{fonts}
+\include{present}
\include{browse}
%\begingroup