
diff -r 85f487b8e70c -r 9f6652122963 doc-src/Codegen/Thy/document/Introduction.tex
--- a/doc-src/Codegen/Thy/document/Introduction.tex	Thu Mar 24 10:39:47 2011 +0100
+++ b/doc-src/Codegen/Thy/document/Introduction.tex	Thu Mar 24 17:10:13 2011 +0100
@@ -546,6 +546,9 @@
     \item You may want to skim over the more technical sections
       \secref{sec:adaptation} and \secref{sec:further}.
 
+    \item The target language Scala \cite{scala-overview-tech-report}
+      comes with some specialities discussed in \secref{sec:scala}.
+
     \item For exhaustive syntax diagrams etc. you should visit the
       Isabelle/Isar Reference Manual \cite{isabelle-isar-ref}.
 




