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