--- 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}.