src/Pure/Thy/presentation.scala

 
   sealed case class HTML_Document(title: String, content: String)
 
   class HTML_Context
   {
+    /* cached theory exports */
+
     val cache: Term.Cache = Term.Cache.make()
 
     private val already_presented = Synchronized(Set.empty[String])
     def register_presented(nodes: List[Document.Node.Name]): List[Document.Node.Name] =
       already_presented.change_result(presented =>

             val thy = make_thy
             (thy, thys + (thy_name -> thy))
         }
       })
     }
+
+
+    /* HTML content */
 
     def head(title: String, rest: XML.Body = Nil): XML.Tree =
       HTML.div("head", HTML.chapter(title) :: rest)
 
     def source(body: XML.Body): XML.Tree = HTML.pre("source", body)