no longer need to have intermediate ScalaPageBookView since using Scala 2.10
missing dependency
no longer used
use stream instead of iterator: iterators are not reused
indentation
WRITELN_MESSAGE and TRACING_MESSAGE for results
tuned
proof results no longer nested within proof type message
Merge branch 'parse-fix' into isabelle2013