src/Pure/General/markup.ML
changeset 23695 6c4662bb4862
parent 23671 9e8257472c27
child 23704 18d6ee425689
equal deleted inserted replaced
23694:431782022495 23695:6c4662bb4862
    15   val properties: (string * string) list -> T -> T
    15   val properties: (string * string) list -> T -> T
    16   val lineN: string
    16   val lineN: string
    17   val fileN: string
    17   val fileN: string
    18   val positionN: string val position: T
    18   val positionN: string val position: T
    19   val indentN: string
    19   val indentN: string
       
    20   val widthN: string
    20   val blockN: string val block: int -> T
    21   val blockN: string val block: int -> T
    21   val breakN: string val break: int -> T
    22   val breakN: string val break: int -> T
    22   val fbreakN: string val fbreak: T
    23   val fbreakN: string val fbreak: T
    23   val classN: string val class: string -> T
    24   val classN: string val class: string -> T
    24   val tyconN: string val tycon: string -> T
    25   val tyconN: string val tycon: string -> T