Markup

Type Members

sealed class Elements extends AnyRef
class Markup_Int extends AnyRef
class Markup_Long extends AnyRef
class Markup_String extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
val ACCEPTED: String
val ALT_STRING: String
val ANTIQUOTE: String
val ANTIQUOTED: String
val ASSIGN: String
val ATTRIBUTE: String
val Antiquotes: Boolean
val Assign_Update: T
val BAD: String
val BINDING: String
val BOUND: String
val BROWSER: String
val BUILD_SESSION_FINISHED: String
val BULLET: String
object Block
object Break
val Broken: Markup
val Build_Session_Finished: T
val CANCEL_SCALA: String
val CARTOUCHE: String
val CASE: String
val CITATION: String
val CLASS: String
val CLASS_PARAMETER: String
val COMMAND: String
val COMMAND_TIMING: Entry
val COMMENT: String
val COMPLETION: String
val CONSOLIDATED: String
val CONSTANT: String
val CONTENT: String
val CPU: Double
object Cancel_Scala
val Citation: Markup_String
object Command_Indent
val Consistent: Boolean
val Content: String
val DEBUGGER_OUTPUT: String
val DEBUGGER_STATE: String
val DEF_END_OFFSET: String
val DEF_FILE: String
val DEF_ID: String
val DEF_LINE: String
val DEF_OFFSET: String
val DELETE: String
val DELIMITER: String
val DESCRIPTION: String
val DIALOG: String
val DOC: String
val DOCUMENT_ANTIQUOTATION: String
val DOCUMENT_ANTIQUOTATION_OPTION: String
val DYNAMIC_FACT: String
object Debugger_Output
object Debugger_State
val Delimited: Boolean
val Doc: Markup_String
val END_LINE: String
val END_OFFSET: String
val ENTITY: String
val ENUMERATE: String
val ERROR: String
val ERROR_MESSAGE: String
val EXIT: String
val EXPORT: String
val EXPRESSION: String
val Elapsed: Double
object Elements
val Empty: Markup
object Entity
object Export
object Expression
val FAILED: String
val FILE: String
val FINISHED: String
val FIXED: String
val FORKED: String
val FREE: String
val FUNCTION: String
val Function: String
val GC: Double
val GOAL: String
val GRAPHVIEW: String
val HIDDEN: String
val ID: String
val IMPROPER: String
val INFORMATION: String
val INFORMATION_MESSAGE: String
val INIT: String
val INITIALIZED: String
val INNER_CARTOUCHE: String
val INNER_COMMENT: String
val INNER_STRING: String
val INSTANCE: String
val INTENSIFY: String
val INVOKE_SCALA: String
val ITEM: String
val ITEMIZE: String
val Indent: Int
val Instance: String
object Invoke_Scala
val JEDIT_ACTION: String
val JOINED: String
val KEYWORD: String
val KEYWORD1: String
val KEYWORD2: String
val KEYWORD3: String
val KIND: String
val Kind: String
val LANGUAGE: String
val LEGACY: String
val LEGACY_MESSAGE: String
val LINE: String
val LITERAL: String
val LOADING_THEORY: String
object Language
object Loading_Theory
val MARKDOWN_ITEM: String
val MARKDOWN_PARAGRAPH: String
val METHOD: String
val ML_ANTIQUOTATION: String
val ML_BREAKPOINT: String
val ML_CHAR: String
val ML_COMMENT: String
val ML_DEF: String
val ML_DELIMITER: String
val ML_KEYWORD1: String
val ML_KEYWORD2: String
val ML_KEYWORD3: String
val ML_NUMERAL: String
val ML_OPEN: String
val ML_STRING: String
val ML_STRUCTURE: String
object ML_Statistics
val ML_TVAR: String
val ML_TYPING: String
val Markdown_Bullet: Markup_Int
val Markdown_List: Markup_String
val NAME: String
val NO_COMPLETION: String
val NO_REPORT: String
val NUMERAL: String
val Name: String
val OFFSET: String
val OPERATOR: String
val PADDING: String
val PADDING_COMMAND: (String, String)
val PADDING_LINE: (String, String)
val PARAGRAPH: String
val PATH: String
val POSITION: String
val POSITION_PROPERTIES: Set[String]
val PRINT_OPERATIONS: String
val PROTOCOL: String
val PROVER_ARG: String
val PROVER_COMMAND: String
val Path: Markup_String
object Process_Result
object Protocol_Handler
val QUASI_KEYWORD: String
val REPORT: String
val RESULT: String
val RUNNING: String
val Removed_Versions: T
val Result: String
val Return_Code: Int
val SENDBACK: String
val SEPARATOR: String
val SERIAL: String
val SIMP_TRACE_CANCEL: String
val SIMP_TRACE_HINT: String
val SIMP_TRACE_IGNORE: String
val SIMP_TRACE_LOG: String
val SIMP_TRACE_PANEL: String
val SIMP_TRACE_RECURSE: String
val SIMP_TRACE_STEP: String
val SKOLEM: String
val SML_COMMENT: String
val SML_STRING: String
val SORTING: String
val STATE: String
val STATE_MESSAGE: String
val STATUS: String
val STDERR: String
val STDOUT: String
val STRING: String
val SUBGOAL: String
val SYSTEM: String
val Serial: Long
object Simp_Trace_Cancel
val Symbols: Boolean
val TASK: String
val TEXT_FOLD: String
val TFREE: String
val THEORY_TIMING: Entry
val TIMING: String
val TOKEN_RANGE: String
val TRACING: String
val TRACING_MESSAGE: String
val TVAR: String
val TYPE_NAME: String
val TYPING: String
object Task_Statistics
object Timing
object Timing_Properties
val URL: String
val Url: Markup_String
val VAR: String
val VERBATIM: String
val VERSION: String
val WARNING: String
val WARNING_MESSAGE: String
val WORDS: String
val WRITELN: String
val WRITELN_MESSAGE: String
val Width: Int
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def decode: T[Markup]
def encode: T[Markup]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val message: (String) ⇒ String
val messages: Map[String, String]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: class Markup | package isabelle

object Markup extends Serializable

Type Members

sealed class Elements extends AnyRef

class Markup_Int extends AnyRef

class Markup_Long extends AnyRef

class Markup_String extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val ACCEPTED: String

val ALT_STRING: String

val ANTIQUOTE: String

val ANTIQUOTED: String

val ASSIGN: String

val ATTRIBUTE: String

val Antiquotes: Boolean

val Assign_Update: T

val BAD: String

val BINDING: String

val BOUND: String

val BROWSER: String

val BUILD_SESSION_FINISHED: String

val BULLET: String

object Block

object Break

val Broken: Markup

val Build_Session_Finished: T

val CANCEL_SCALA: String

val CARTOUCHE: String

val CASE: String

val CITATION: String

val CLASS: String

val CLASS_PARAMETER: String

val COMMAND: String

val COMMAND_TIMING: Entry

val COMMENT: String

val COMPLETION: String

val CONSOLIDATED: String

val CONSTANT: String

val CONTENT: String

val CPU: Double

object Cancel_Scala

val Citation: Markup_String

object Command_Indent

val Consistent: Boolean

val Content: String

val DEBUGGER_OUTPUT: String

val DEBUGGER_STATE: String

val DEF_END_OFFSET: String

val DEF_FILE: String

val DEF_ID: String

val DEF_LINE: String

val DEF_OFFSET: String

val DELETE: String

val DELIMITER: String

val DESCRIPTION: String

val DIALOG: String

val DOC: String

val DOCUMENT_ANTIQUOTATION: String

val DOCUMENT_ANTIQUOTATION_OPTION: String

val DYNAMIC_FACT: String

object Debugger_Output

object Debugger_State

val Delimited: Boolean

val Doc: Markup_String

val END_LINE: String

val END_OFFSET: String

val ENTITY: String

val ENUMERATE: String

val ERROR: String

val ERROR_MESSAGE: String

val EXIT: String

val EXPORT: String

val EXPRESSION: String

val Elapsed: Double

object Elements

val Empty: Markup