Markup

Type Members

sealed class Elements extends AnyRef
class Markup_Int 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 ALTSTRING: 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 BULLET: String
val Block: Markup_Int
val Break: Markup_Int
val Broken: Markup
val CANCEL_SCALA: String
val CARTOUCHE: String
val CASE: String
val CLASS: String
val COMMAND: String
val COMMAND_TIMING: String
val COMMENT: String
val COMPLETION: String
val CONSTANT: String
val CONTROL: String
val CPU: Double
object Cancel_Scala
val DEF: String
val DEF_END_OFFSET: String
val DEF_FILE: String
val DEF_ID: String
val DEF_LINE: String
val DEF_OFFSET: String
val DELIMITER: String
val DIALOG: String
val DOCUMENT_ANTIQUOTATION: String
val DOCUMENT_ANTIQUOTATION_OPTION: String
val DYNAMIC_FACT: String
val Delimited: Boolean
val END_OFFSET: String
val ENTITY: String
val ERROR: String
val ERROR_MESSAGE: String
val EXIT: String
val Elapsed: Double
object Elements
val Empty: Markup
object Entity
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 INIT: 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 Instance: String
object Invoke_Scala
val JOINED: String
val KEYWORD1: String
val KEYWORD2: String
val KEYWORD3: String
val KIND: String
val Kind: String
val LANGUAGE: String
val LEGACY: String
val LINE: String
val LITERAL: String
object Language
object Loading_Theory
val MESSAGE: String
val METHOD: String
val ML_ANTIQUOTATION: 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 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 PROOF_STATE: String
val PROTOCOL: String
val PROVER_ARG: String
val PROVER_COMMAND: String
val Path: Markup_String
object Protocol_Handler
val QUASI_KEYWORD: String
val REF: 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 STATUS: String
val STDERR: String
val STDOUT: String
val STRING: String
val SUBGOAL: String
val SUBGOALS: 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 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
object Use_Theories_Result
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
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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_String extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val ACCEPTED: String

val ALTSTRING: 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 BULLET: String

val Block: Markup_Int

val Break: Markup_Int

val Broken: Markup

val CANCEL_SCALA: String

val CARTOUCHE: String

val CASE: String

val CLASS: String

val COMMAND: String

val COMMAND_TIMING: String

val COMMENT: String

val COMPLETION: String

val CONSTANT: String

val CONTROL: String

val CPU: Double

object Cancel_Scala

val DEF: String

val DEF_END_OFFSET: String

val DEF_FILE: String

val DEF_ID: String

val DEF_LINE: String

val DEF_OFFSET: String

val DELIMITER: String

val DIALOG: String

val DOCUMENT_ANTIQUOTATION: String

val DOCUMENT_ANTIQUOTATION_OPTION: String

val DYNAMIC_FACT: String

val Delimited: Boolean

val END_OFFSET: String

val ENTITY: String

val ERROR: String

val ERROR_MESSAGE: String

val EXIT: String

val Elapsed: Double

object Elements

val Empty: Markup

object Entity

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 INIT: String

val INNER_CARTOUCHE: String

val INNER_COMMENT: String

val INNER_STRING: String

val INSTANCE: String