isabelle
.
Rendering
Color
Related Doc:
package Rendering
object
Color
extends
Enumeration
Linear Supertypes
Enumeration
,
Serializable
,
Serializable
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Color
Enumeration
Serializable
Serializable
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
class
Val
extends
Value
with
Serializable
Attributes
protected
Definition Classes
Enumeration
Annotations
@SerialVersionUID
()
abstract
class
Value
extends
Ordered
[
Value
] with
Serializable
Definition Classes
Enumeration
Annotations
@SerialVersionUID
()
class
ValueSet
extends
AbstractSet
[
Value
] with
SortedSet
[
Value
] with
SortedSetLike
[
Value
,
ValueSet
] with
Serializable
Definition Classes
Enumeration
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
final
def
Value
(
i:
Int
,
name:
String
)
:
Value
Attributes
protected
Definition Classes
Enumeration
final
def
Value
(
name:
String
)
:
Value
Attributes
protected
Definition Classes
Enumeration
final
def
Value
(
i:
Int
)
:
Value
Attributes
protected
Definition Classes
Enumeration
final
def
Value
:
Value
Attributes
protected
Definition Classes
Enumeration
val
active
:
Value
val
active_result
:
Value
val
antiquote
:
Value
val
antiquoted
:
Value
final
def
apply
(
x:
Int
)
:
Value
Definition Classes
Enumeration
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
val
background_colors
:
ValueSet
val
bad
:
Value
val
bound
:
Value
val
class_parameter
:
Value
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
val
dynamic
:
Value
val
entity
:
Value
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
val
error
:
Value
val
error_message
:
Value
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
val
foreground_colors
:
ValueSet
val
free
:
Value
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
val
improper
:
Value
val
information
:
Value
val
information_message
:
Value
val
inner_cartouche
:
Value
val
inner_comment
:
Value
val
inner_numeral
:
Value
val
inner_quoted
:
Value
val
intensify
:
Value
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
val
keyword1
:
Value
val
keyword2
:
Value
val
keyword3
:
Value
val
legacy
:
Value
val
legacy_message
:
Value
val
main
:
Value
val
markdown_item1
:
Value
val
markdown_item2
:
Value
val
markdown_item3
:
Value
val
markdown_item4
:
Value
final
def
maxId
:
Int
Definition Classes
Enumeration
val
message_background_colors
:
ValueSet
val
message_underline_colors
:
ValueSet
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
var
nextId
:
Int
Attributes
protected
Definition Classes
Enumeration
var
nextName
:
Iterator
[
String
]
Attributes
protected
Definition Classes
Enumeration
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
val
operator
:
Value
val
quasi_keyword
:
Value
val
quoted
:
Value
def
readResolve
()
:
AnyRef
Attributes
protected
Definition Classes
Enumeration
val
running
:
Value
val
running1
:
Value
val
skolem
:
Value
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
val
text_colors
:
ValueSet
val
text_overview_colors
:
Set
[
Value
]
val
tfree
:
Value
def
toString
()
:
String
Definition Classes
Enumeration → AnyRef → Any
val
tracing_message
:
Value
val
tvar
:
Value
val
unprocessed
:
Value
val
unprocessed1
:
Value
def
values
:
ValueSet
Definition Classes
Enumeration
val
var
:
Value
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
(
...
)
val
warning
:
Value
val
warning_message
:
Value
final
def
withName
(
s:
String
)
:
Value
Definition Classes
Enumeration
val
writeln
:
Value
val
writeln_message
:
Value
Inherited from
Enumeration
Inherited from
Serializable
Inherited from
Serializable
Inherited from
AnyRef
Inherited from
Any
Ungrouped