Packages

p

isabelle

package isabelle

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

Type Members

  1. final class Bytes extends CharSequence
  2. abstract class CI_Profile extends Body
  3. final class Command extends AnyRef
  4. final class Completion extends AnyRef
  5. class Console_Progress extends Progress
  6. final class Consumer_Thread[A] extends AnyRef
  7. final class Counter extends AnyRef
  8. sealed case class Date(rep: ZonedDateTime) extends Product with Serializable
  9. class Debugger extends AnyRef
  10. abstract class Editor[Context] extends AnyRef
  11. class File_Logger extends Logger
  12. class File_Progress extends Progress
  13. class File_Watcher extends AnyRef
  14. trait Future[A] extends AnyRef
  15. class Getopts extends AnyRef
  16. final class Graph[Key, A] extends AnyRef
  17. class Invoke_Scala extends Protocol_Handler
  18. class Isabelle_Charset extends Charset
  19. class Isabelle_Charset_Provider extends CharsetProvider
  20. sealed case class Isabelle_Tool(name: String, description: String, body: (List[String]) ⇒ Unit, admin: Boolean = false) extends Product with Serializable
  21. final class Line extends AnyRef
  22. sealed case class Line_Structure(improper: Boolean = true, blank: Boolean = true, command: Boolean = false, depth: Int = 0, span_depth: Int = 0, after_span_depth: Int = 0, element_depth: Int = 0) extends Product with Serializable
  23. final class Linear_Set[A] extends Set[A] with GenericSetTemplate[A, Linear_Set] with SetLike[A, Linear_Set[A]]
  24. trait Logger extends AnyRef
  25. final class ML_Statistics extends AnyRef
  26. class Mailbox[A] extends AnyRef
  27. sealed case class Markup(name: String, properties: T) extends Product with Serializable
  28. final class Markup_Tree extends AnyRef
  29. final class Multi_Map[A, +B] extends Map[A, B] with MapLike[A, B, Multi_Map[A, B]]
  30. final class Options extends AnyRef
  31. class Options_Variable extends AnyRef
  32. class Other_Isabelle extends AnyRef
  33. final class Outer_Syntax extends AnyRef
  34. final class Path extends AnyRef
  35. final case class Process_Result(rc: Int, out_lines: List[String] = Nil, err_lines: List[String] = Nil, timeout: Boolean = false, timing: Timing = Timing.zero) extends Product with Serializable
  36. class Progress extends AnyRef
  37. trait Promise[A] extends Future[A]
  38. trait Protocol extends AnyRef
  39. class Protocol_Handlers extends AnyRef
  40. class Prover extends Protocol
  41. class Query_Operation[Editor_Context] extends AnyRef
  42. abstract class Rendering extends AnyRef
  43. class Resources extends AnyRef
  44. class Server extends AnyRef
  45. class Session extends isabelle.Document.Session
  46. class Spell_Checker extends AnyRef
  47. class Spell_Checker_Variable extends AnyRef
  48. final class Synchronized[A] extends AnyRef
  49. class System_Channel extends AnyRef
  50. sealed case class Thy_Header(name: (String, T), imports: List[(String, T)], keywords: Keywords, abbrevs: Abbrevs) extends Product with Serializable
  51. class Thy_Info extends AnyRef
  52. final class Time extends AnyVal
  53. sealed case class Timing(elapsed: Time, cpu: Time, gc: Time) extends Product with Serializable
  54. sealed case class Token(kind: Token.Kind.Value, source: String) extends Product with Serializable

Value Members

  1. val ERROR: isabelle.Exn.ERROR.type
  2. val cat_error: (String, String) ⇒ Nothing
  3. val cat_lines: (TraversableOnce[String]) ⇒ String
  4. val commas: (Iterable[String]) ⇒ String
  5. val commas_quote: (Iterable[String]) ⇒ String
  6. val error: (String) ⇒ Nothing
  7. def proper[A](x: A): Option[A]
  8. def proper_list[A](list: List[A]): Option[List[A]]
  9. val proper_string: (String) ⇒ Option[String]
  10. val quote: (String) ⇒ String
  11. val space_explode: (Char, String) ⇒ List[String]
  12. val split_lines: (String) ⇒ List[String]
  13. val terminate_lines: (TraversableOnce[String]) ⇒ String
  14. def using[A <: AnyRef { def close(): Unit }, B](x: A)(f: (A) ⇒ B): B
  15. object Antiquote
  16. object Bash
  17. object Bibtex
  18. object Build
  19. object Build_Cygwin
  20. object Build_Doc
  21. object Build_Docker
  22. object Build_History
  23. object Build_JDK
  24. object Build_Log
  25. object Build_PolyML
  26. object Build_Release
  27. object Build_Status
  28. object Bytes
  29. object Check_Keywords
  30. object Check_Sources
  31. object Codepoint
  32. object Command
  33. object Command_Line
  34. object Command_Span
  35. object Completion
  36. object Consumer_Thread
  37. object Counter
  38. object Cygwin
  39. object Date extends Serializable
  40. object Debugger
  41. object Distribution
  42. object Doc
  43. object Document
  44. object Document_ID
  45. object Document_Structure
  46. object Event_Timer
  47. object Exn
  48. object File
  49. object File_Watcher
  50. object Future
  51. object Getopts
  52. object Graph
  53. object Graph_Display
  54. object HTML
  55. object HTTP
  56. object Imports
  57. object Invoke_Scala
  58. object Isabelle_Charset
  59. object Isabelle_Cronjob
  60. object Isabelle_Devel
  61. object Isabelle_Process
  62. object Isabelle_System
  63. object Isabelle_Tool extends Serializable
  64. object JSON
  65. object Jenkins
  66. object Keyword
  67. object Library
  68. object Line
  69. object Line_Structure extends Serializable
  70. object Linear_Set extends SetFactory[Linear_Set]
  71. object Logger
  72. object Long_Name
  73. object ML_Console
  74. object ML_Lex
  75. object ML_Process
  76. object ML_Statistics
  77. object ML_Syntax
  78. object Mailbox
  79. object Markup extends Serializable
  80. object Markup_Tree
  81. object Mercurial
  82. object Multi_Map extends ImmutableMapFactory[Multi_Map]
  83. object NEWS
  84. object NUMA
  85. object No_Logger extends Logger
  86. object No_Progress extends Progress
  87. object Options
  88. object Outer_Syntax
  89. object Output
  90. object POSIX_Interrupt
  91. object Par_List
  92. object Parse
  93. object Path
  94. object Platform
  95. object Position
  96. object PostgreSQL

    PostgreSQL *

  97. object Present
  98. object Pretty
  99. object Print_Operation
  100. object Profiling_Report
  101. object Properties
  102. object Protocol
  103. object Protocol_Handlers
  104. object Protocol_Message
  105. object Prover
  106. object Query_Operation
  107. object Remote_DMG
  108. object Rendering
  109. object SHA1
  110. object SQL
  111. object SQLite

    SQLite *

  112. object SSH
  113. object Scan
  114. object Server
  115. object Session
  116. object Sessions
  117. object Simplifier_Trace
  118. object Spell_Checker
  119. object Standard_Thread
  120. object Symbol
  121. object Synchronized
  122. object System_Channel
  123. object Term
  124. object Term_XML
  125. object Text
  126. object Thy_Header extends Parser with Serializable
  127. object Thy_Info
  128. object Thy_Syntax
  129. object Time
  130. object Timing extends Serializable
  131. object Token extends Serializable
  132. object UTF8
  133. object Untyped
  134. object Update_Cartouches
  135. object Update_Header
  136. object Update_Then
  137. object Update_Theorems
  138. object Url
  139. object Value
  140. object Word
  141. object XML
  142. object XZ
  143. object YXML
  144. object sys

Inherited from AnyRef

Inherited from Any

Ungrouped