isabelle
Markup
Related Docs:
class Markup
|
package isabelle
object
Markup
extends
Serializable
Linear Supertypes
Serializable
,
Serializable
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Markup
Serializable
Serializable
AnyRef
Any
Hide All
Show All
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:
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_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
CLASS_PARAMETER
:
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
object
Command_Indent
val
Consistent
:
Boolean
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
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
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
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
JEDIT_ACTION
:
String
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
PROTOCOL
:
String
val
PROVER_ARG
:
String
val
PROVER_COMMAND
:
String
val
Path
:
Markup_String
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
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