--- a/src/Doc/ROOT Mon Jun 16 12:41:51 2014 +0200 +++ b/src/Doc/ROOT Mon Jun 16 12:52:20 2014 +0200 @@ -323,7 +323,6 @@ options [document_variants = "system", thy_output_source] theories Basics - Interfaces Sessions Presentation Scala