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. def description(items: List[(Body, Body)]): Elem

    

14. val div: Operator

    

15. val emph: Operator

    

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

    

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

    

    Definition Classes

    AnyRef

18. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

19. val error: Attribute

    

20. val error_message: Attribute

    

21. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

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

    

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

    

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

    

    Definition Classes

    AnyRef → Any

26. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

27. val head_meta: Elem

    

28. val header: String

    

29. def height(h: Int): Attribute

    

30. def id(s: String): Attribute

    

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

    

32. def init_dir(dir: Path): Unit

    

33. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

34. def is_control(sym: Symbol): Boolean

    

35. def isabelle_css: Path

    

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

    

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

    

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

    

    Definition Classes

    AnyRef

39. final def notify(): Unit

    

    Definition Classes

    AnyRef

40. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

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

    

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

    

44. def output(text: String): String

    

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

    

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

    

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

    

48. val par: Operator

    

49. val paragraph: Heading

    

50. val pre: Operator

    

51. def script(s: String): Elem

    

52. def script_file(path: Path): Elem

    

53. def script_file(href: String): Elem

    

54. val section: Heading

    

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

    

56. def source(src: String): Elem

    

57. def source(body: Body): Elem

    

58. val span: Operator

    

59. def style(s: String): Elem

    

60. def style_file(path: Path): Elem

    

61. def style_file(href: String): Elem

    

62. val subparagraph: Heading

    

63. val subsection: Heading

    

64. val subsubsection: Heading

    

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

    

    Definition Classes

    AnyRef

66. def text(txt: String): Body

    

67. val title: Heading

    

68. def toString(): String

    

    Definition Classes

    AnyRef → Any

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

    

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

    

71. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

74. val warning: Attribute

    

75. val warning_message: Attribute

    

76. def width(w: Int): Attribute

    

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

    

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

    

79. val writeln: Attribute

    

80. val writeln_message: Attribute