--- a/src/Doc/System/document/root.tex Mon Mar 19 18:13:37 2018 +0100
+++ b/src/Doc/System/document/root.tex Mon Mar 19 19:24:45 2018 +0100
@@ -33,6 +33,7 @@
\input{Environment.tex}
\input{Sessions.tex}
\input{Presentation.tex}
+\input{Server.tex}
\input{Scala.tex}
\input{Misc.tex}