Packages

object HTML

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. HTML
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class Attribute extends AnyRef
  2. class Heading extends Operator
  3. class Operator extends AnyRef

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. val bold: Operator
  6. val break: Body
  7. val chapter: Heading
  8. def class_(name: String): Attribute
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. val code: Operator
  11. def description(items: List[(Body, Body)]): Elem
  12. val div: Operator
  13. val emph: Operator
  14. def enumerate(items: List[Body]): Elem
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  17. val error: Attribute
  18. val error_message: Attribute
  19. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. def fonts_css(make_url: (String) ⇒ String = fonts_url()): String
  21. def fonts_dir(prefix: String)(ttf_name: String): String
  22. def fonts_url(): (String) ⇒ String
  23. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  24. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  25. val head_meta: Elem
  26. val header: String
  27. def height(h: Int): Attribute
  28. def id(s: String): Attribute
  29. def image(src: String, alt: String = ""): Elem
  30. def init_dir(dir: Path): Unit
  31. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  32. def is_control(sym: Symbol): Boolean
  33. def isabelle_css: Path
  34. def itemize(items: List[Body]): Elem
  35. def link(href: String, body: Body = Nil): Elem
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. final def notify(): Unit
    Definition Classes
    AnyRef
  38. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  39. def output(tree: Tree, hidden: Boolean): String
  40. def output(body: Body, hidden: Boolean): String
  41. def output(body: Body, s: StringBuilder, hidden: Boolean): Unit
  42. def output(text: String): String
  43. def output(text: String, s: StringBuilder, hidden: Boolean, permissive: Boolean): Unit
  44. def output_char_permissive(c: Char, s: StringBuilder): Unit
  45. def output_document(head: Body, body: Body, css: String = "isabelle.css", hidden: Boolean = true): String
  46. val par: Operator
  47. val paragraph: Heading
  48. val pre: Operator
  49. def script(s: String): Elem
  50. def script_file(path: Path): Elem
  51. def script_file(href: String): Elem
  52. val section: Heading
  53. def size(w: Int, h: Int)(elem: Elem): Elem
  54. def source(src: String): Elem
  55. def source(body: Body): Elem
  56. val span: Operator
  57. def style(s: String): Elem
  58. def style_file(path: Path): Elem
  59. def style_file(href: String): Elem
  60. val subparagraph: Heading
  61. val subsection: Heading
  62. val subsubsection: Heading
  63. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  64. def text(txt: String): Body
  65. val title: Heading
  66. def toString(): String
    Definition Classes
    AnyRef → Any
  67. def tooltip(item: Body, tip: Body): Elem
  68. def tooltip_errors(item: Body, msgs: List[Body]): Elem
  69. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  70. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  71. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  72. val warning: Attribute
  73. val warning_message: Attribute
  74. def width(w: Int): Attribute
  75. def write_document(dir: Path, name: String, head: Body, body: Body, css: String = isabelle_css.base_name, hidden: Boolean = true): Unit
  76. def write_isabelle_css(dir: Path, make_url: (String) ⇒ String = fonts_dir("fonts")): Unit
  77. val writeln: Attribute
  78. val writeln_message: Attribute
  79. object GUI
  80. object Wrap_Panel

Inherited from AnyRef

Inherited from Any

Ungrouped