isabelle
Markup
object
Markup
extends
Serializable
Linear Supertypes
Serializable
,
Serializable
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
Markup
Serializable
Serializable
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
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:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
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_THEORIES_RESULT
:
String
val
BULLET
:
String
object
Block
object
Break
val
Broken
:
Markup
object
Build_Theories_Result
val
CANCEL_SCALA
:
String
val
CARTOUCHE
:
String
val
CASE
:
String
val
CITATION
:
String
val
CLASS
:
String
val
COMMAND
:
String
val
COMMAND_TIMING
:
String
val
COMMENT
:
String
val
COMPLETION
:
String
val
CONSTANT
:
String
val
CPU
:
Double
object
Cancel_Scala
val
Citation
:
Markup_String
val
Consistent
:
Boolean
val
DEBUGGER_OUTPUT
:
String
val
DEBUGGER_STATE
:
String
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
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
ERROR
:
String
val
ERROR_MESSAGE
:
String
val
EXIT
:
String
val
EXPRESSION
:
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
INFORMATION_MESSAGE
:
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
Indent
:
Int
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
LEGACY_MESSAGE
:
String
val
LINE
:
String
val
LITERAL
:
String
val
LOADING_THEORY
:
String
object
Language
object
Loading_Theory
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_Item
:
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
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
STATE_MESSAGE
:
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
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
(
...
)
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
(
...
)
Inherited from
Serializable
Inherited from
Serializable
Inherited from
AnyRef
Inherited from
Any
Ungrouped