doc-src/System/system.tex
changeset 47825 4f25960417ae
parent 42668 b98f22593f97
child 48057 72197611f1e9
     1.1 --- a/doc-src/System/system.tex	Sat Apr 28 17:05:31 2012 +0200
     1.2 +++ b/doc-src/System/system.tex	Sat Apr 28 17:50:42 2012 +0200
     1.3 @@ -31,6 +31,7 @@
     1.4  \input{Thy/document/Basics.tex}
     1.5  \input{Thy/document/Interfaces.tex}
     1.6  \input{Thy/document/Presentation.tex}
     1.7 +\input{Thy/document/Scala.tex}
     1.8  \input{Thy/document/Misc.tex}
     1.9  
    1.10  \begingroup