--- a/doc-src/System/Thy/ROOT.ML Sat Apr 28 17:05:31 2012 +0200
+++ b/doc-src/System/Thy/ROOT.ML Sat Apr 28 17:50:42 2012 +0200
@@ -1,1 +1,1 @@
-use_thys ["Basics", "Interfaces", "Presentation", "Misc"];
+use_thys ["Basics", "Interfaces", "Scala", "Presentation", "Misc"];