HTML

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. object GUI

   

5. object Wrap_Panel

   

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. val bold: Operator

   

8. val break: Body

   

9. val chapter: Heading

   

10. def class_(name: String): Attribute

    

11. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

12. val code: Operator

    

13. val dd: Operator

    

14. val descr: Operator

    

15. def description(items: List[(Body, Body)]): Elem

    

16. val div: Operator

    

17. val dt: Operator

    

18. val emph: Operator

    

19. val enum: Operator

    

20. def enumerate(items: List[Body]): Elem

    

21. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

22. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

23. val error: Attribute

    

24. val error_message: Attribute

    

25. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

26. def fonts_css(make_url: (String) ⇒ String = fonts_url()): String

    

27. def fonts_dir(prefix: String)(ttf_name: String): String

    

28. def fonts_url(): (String) ⇒ String

    

29. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

30. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

31. val head_meta: Elem

    

32. val header: String

    

33. def height(h: Int): Attribute

    

34. def id(s: String): Attribute

    

35. def image(src: String, alt: String = ""): Elem

    

36. def init_dir(dir: Path): Unit

    

37. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

38. def is_control(sym: Symbol): Boolean

    

39. def isabelle_css: Path

    

40. val item: Operator

    

41. def itemize(items: List[Body]): Elem

    

42. def link(href: String, body: Body = Nil): Elem

    

43. val list: Operator

    

44. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

45. val no_text: Tree

    

46. final def notify(): Unit

    

    Definition Classes

    AnyRef

47. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

48. def output(tree: Tree, hidden: Boolean, structural: Boolean): String

    

49. def output(body: Body, hidden: Boolean, structural: Boolean): String

    

50. def output(body: Body, s: StringBuilder, hidden: Boolean, structural: Boolean): Unit

    

51. def output(text: String): String

    

52. def output(text: String, s: StringBuilder, hidden: Boolean, permissive: Boolean): Unit

    

53. def output_char_permissive(c: Char, s: StringBuilder): Unit

    

54. def output_document(head: Body, body: Body, css: String = "isabelle.css", hidden: Boolean = true, structural: Boolean = true): String

    

55. val par: Operator

    

56. val paragraph: Heading

    

57. val pre: Operator

    

58. def script(s: String): Elem

    

59. def script_file(path: Path): Elem

    

60. def script_file(href: String): Elem

    

61. val section: Heading

    

62. def size(w: Int, h: Int)(elem: Elem): Elem

    

63. def source(src: String): Elem

    

64. def source(body: Body): Elem

    

65. val span: Operator

    

66. def style(s: String): Elem

    

67. def style_file(path: Path): Elem

    

68. def style_file(href: String): Elem

    

69. val subparagraph: Heading

    

70. val subsection: Heading

    

71. val subsubsection: Heading

    

72. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

73. def text(txt: String): Body

    

74. val title: Heading

    

75. def toString(): String

    

    Definition Classes

    AnyRef → Any

76. def tooltip(item: Body, tip: Body): Elem

    

77. def tooltip_errors(item: Body, msgs: List[Body]): Elem

    

78. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

79. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

80. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

81. val warning: Attribute

    

82. val warning_message: Attribute

    

83. def width(w: Int): Attribute

    

84. def write_document(dir: Path, name: String, head: Body, body: Body, css: String = isabelle_css.base_name, hidden: Boolean = true, structural: Boolean = true): Unit

    

85. def write_isabelle_css(dir: Path, make_url: (String) ⇒ String = fonts_dir("fonts")): Unit

    

86. val writeln: Attribute

    

87. val writeln_message: Attribute