isabelle

object Markup

[source: isabelle/Markup.scala]

object Markup
extends AnyRef
Value Summary
val ALTSTRING : java.lang.String
val ANTIQ : java.lang.String
val ATTRIBUTE : java.lang.String
val BAD : java.lang.String
val BOUND : java.lang.String
val CLASS : java.lang.String
val COLUMN : java.lang.String
val COMMAND : java.lang.String
val COMMAND_DECL : java.lang.String
val COMMAND_SPAN : java.lang.String
val COMMENT : java.lang.String
val CONST : java.lang.String
val CONST_DECL : java.lang.String
val CONTROL : java.lang.String
val DEBUG : java.lang.String
val DEF : java.lang.String
val DISPOSED : java.lang.String
val DOC_ANTIQ : java.lang.String
val DOC_SOURCE : java.lang.String
val DYNAMIC_FACT : java.lang.String
val EDIT : java.lang.String
val EDITS : java.lang.String
val END_COLUMN : java.lang.String
val END_LINE : java.lang.String
val END_OFFSET : java.lang.String
val ENTITY : java.lang.String
val ERROR : java.lang.String
val EXIT : java.lang.String
val FACT : java.lang.String
val FACT_DECL : java.lang.String
val FAILED : java.lang.String
val FILE : java.lang.String
val FINISHED : java.lang.String
val FIXED : java.lang.String
val FIXED_DECL : java.lang.String
val FLOAT : java.lang.String
val FREE : java.lang.String
val HILITE : java.lang.String
val ID : java.lang.String
val IDENT : java.lang.String
val IGNORED_SPAN : java.lang.String
val INIT : java.lang.String
val INNER_COMMENT : java.lang.String
val KEYWORD : java.lang.String
val KEYWORD_DECL : java.lang.String
val KIND : java.lang.String
val LINE : java.lang.String
val LITERAL : java.lang.String
val LOCAL_FACT : java.lang.String
val LOCAL_FACT_DECL : java.lang.String
val LOCATION : java.lang.String
val MALFORMED : java.lang.String
val MALFORMED_SPAN : java.lang.String
val MESSAGE : java.lang.String
val METHOD : java.lang.String
val ML_ANTIQ : java.lang.String
val ML_CHAR : java.lang.String
val ML_COMMENT : java.lang.String
val ML_DEF : java.lang.String
val ML_IDENT : java.lang.String
val ML_KEYWORD : java.lang.String
val ML_MALFORMED : java.lang.String
val ML_NUMERAL : java.lang.String
val ML_OPEN : java.lang.String
val ML_REF : java.lang.String
val ML_SOURCE : java.lang.String
val ML_STRING : java.lang.String
val ML_STRUCT : java.lang.String
val ML_TVAR : java.lang.String
val ML_TYPING : java.lang.String
val NAME : java.lang.String
val NUM : java.lang.String
val OFFSET : java.lang.String
val PID : java.lang.String
val POSITION : java.lang.String
val POSITION_PROPERTIES : scala.collection.immutable.Set[java.lang.String]
val PRIORITY : java.lang.String
val PROP : java.lang.String
val RAW : java.lang.String
val READY : java.lang.String
val REF : java.lang.String
val ROOT : java.lang.String
val RUNNING : java.lang.String
val SENDBACK : java.lang.String
val SESSION : java.lang.String
val SIGNAL : java.lang.String
val SKOLEM : java.lang.String
val SORT : java.lang.String
val STATE : java.lang.String
val STATUS : java.lang.String
val STDIN : java.lang.String
val STDOUT : java.lang.String
val STRING : java.lang.String
val SUBGOAL : java.lang.String
val SYSTEM : java.lang.String
val TASK : java.lang.String
val TCLASS : java.lang.String
val TERM : java.lang.String
val TFREE : java.lang.String
val TRACING : java.lang.String
val TVAR : java.lang.String
val TYCON : java.lang.String
val TYP : java.lang.String
val UNPROCESSED : java.lang.String
val VAR : java.lang.String
val VERBATIM : java.lang.String
val WARNING : java.lang.String
val WRITELN : java.lang.String
val XNUM : java.lang.String
val XSTR : java.lang.String
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
val NAME : java.lang.String

val KIND : java.lang.String

val ENTITY : java.lang.String

val DEF : java.lang.String

val REF : java.lang.String

val LINE : java.lang.String

val COLUMN : java.lang.String

val OFFSET : java.lang.String

val END_LINE : java.lang.String

val END_COLUMN : java.lang.String

val END_OFFSET : java.lang.String

val FILE : java.lang.String

val ID : java.lang.String

val POSITION_PROPERTIES : scala.collection.immutable.Set[java.lang.String]

val POSITION : java.lang.String

val LOCATION : java.lang.String

val TCLASS : java.lang.String

val TYCON : java.lang.String

val FIXED_DECL : java.lang.String

val FIXED : java.lang.String

val CONST_DECL : java.lang.String

val CONST : java.lang.String

val FACT_DECL : java.lang.String

val FACT : java.lang.String

val DYNAMIC_FACT : java.lang.String

val LOCAL_FACT_DECL : java.lang.String

val LOCAL_FACT : java.lang.String

val TFREE : java.lang.String

val TVAR : java.lang.String

val FREE : java.lang.String

val SKOLEM : java.lang.String

val BOUND : java.lang.String

val VAR : java.lang.String

val NUM : java.lang.String

val FLOAT : java.lang.String

val XNUM : java.lang.String

val XSTR : java.lang.String

val LITERAL : java.lang.String

val INNER_COMMENT : java.lang.String

val SORT : java.lang.String

val TYP : java.lang.String

val TERM : java.lang.String

val PROP : java.lang.String

val ATTRIBUTE : java.lang.String

val METHOD : java.lang.String

val ML_SOURCE : java.lang.String

val DOC_SOURCE : java.lang.String

val ANTIQ : java.lang.String

val ML_ANTIQ : java.lang.String

val DOC_ANTIQ : java.lang.String

val ML_KEYWORD : java.lang.String

val ML_IDENT : java.lang.String

val ML_TVAR : java.lang.String

val ML_NUMERAL : java.lang.String

val ML_CHAR : java.lang.String

val ML_STRING : java.lang.String

val ML_COMMENT : java.lang.String

val ML_MALFORMED : java.lang.String

val ML_DEF : java.lang.String

val ML_OPEN : java.lang.String

val ML_STRUCT : java.lang.String

val ML_REF : java.lang.String

val ML_TYPING : java.lang.String

val KEYWORD_DECL : java.lang.String

val COMMAND_DECL : java.lang.String

val KEYWORD : java.lang.String

val COMMAND : java.lang.String

val IDENT : java.lang.String

val STRING : java.lang.String

val ALTSTRING : java.lang.String

val VERBATIM : java.lang.String

val COMMENT : java.lang.String

val CONTROL : java.lang.String

val MALFORMED : java.lang.String

val COMMAND_SPAN : java.lang.String

val IGNORED_SPAN : java.lang.String

val MALFORMED_SPAN : java.lang.String

val STATE : java.lang.String

val SUBGOAL : java.lang.String

val SENDBACK : java.lang.String

val HILITE : java.lang.String

val TASK : java.lang.String

val UNPROCESSED : java.lang.String

val RUNNING : java.lang.String

val FAILED : java.lang.String

val FINISHED : java.lang.String

val DISPOSED : java.lang.String

val EDITS : java.lang.String

val EDIT : java.lang.String

val PID : java.lang.String

val SESSION : java.lang.String

val MESSAGE : java.lang.String

val CLASS : java.lang.String

val INIT : java.lang.String

val STATUS : java.lang.String

val WRITELN : java.lang.String

val PRIORITY : java.lang.String

val TRACING : java.lang.String

val WARNING : java.lang.String

val ERROR : java.lang.String

val DEBUG : java.lang.String

val SYSTEM : java.lang.String

val STDIN : java.lang.String

val STDOUT : java.lang.String

val SIGNAL : java.lang.String

val EXIT : java.lang.String

val READY : java.lang.String

val ROOT : java.lang.String

val RAW : java.lang.String

val BAD : java.lang.String