src/Pure/Thy/html.ML

 HTML presentation elements.
 *)
 
 signature HTML =
 sig
+  val html_mode: ('a -> 'b) -> 'a -> 'b
   type text = string
   val plain: string -> text
   val name: string -> text
   val keyword: string -> text
   val command: string -> text

   val href_opt_path: Url.T option -> text -> text
   val para: text -> text
   val preform: text -> text
   val verbatim: string -> text
   val with_charset: string -> ('a -> 'b) -> 'a -> 'b
+  val begin_document: string -> text
+  val end_document: text
   val begin_index: Url.T * string -> Url.T * string -> (Url.T * string) list -> Url.T -> text
   val end_index: text
   val applet_pages: string -> Url.T * string -> (string * string) list
   val theory_entry: Url.T * string -> text
   val session_entries: (Url.T * string) list -> text