11 |
11 |
12 module Isabelle.Markup ( |
12 module Isabelle.Markup ( |
13 T, empty, is_empty, properties, |
13 T, empty, is_empty, properties, |
14 |
14 |
15 nameN, name, xnameN, xname, kindN, |
15 nameN, name, xnameN, xname, kindN, |
|
16 |
|
17 completionN, completion, no_completionN, no_completion, |
16 |
18 |
17 lineN, end_lineN, offsetN, end_offsetN, fileN, idN, positionN, position, |
19 lineN, end_lineN, offsetN, end_offsetN, fileN, idN, positionN, position, |
18 |
20 |
19 markupN, consistentN, unbreakableN, indentN, widthN, |
21 markupN, consistentN, unbreakableN, indentN, widthN, |
20 blockN, block, breakN, break, fbreakN, fbreak, itemN, item, |
22 blockN, block, breakN, break, fbreakN, fbreak, itemN, item, |
81 xname :: String -> T -> T |
83 xname :: String -> T -> T |
82 xname a = properties [(xnameN, a)] |
84 xname a = properties [(xnameN, a)] |
83 |
85 |
84 kindN :: String |
86 kindN :: String |
85 kindN = "kind" |
87 kindN = "kind" |
|
88 |
|
89 |
|
90 {- completion -} |
|
91 |
|
92 completionN :: String; completion :: T |
|
93 (completionN, completion) = markup_elem "completion" |
|
94 |
|
95 no_completionN :: String; no_completion :: T |
|
96 (no_completionN, no_completion) = markup_elem "no_completion" |
86 |
97 |
87 |
98 |
88 {- position -} |
99 {- position -} |
89 |
100 |
90 lineN, end_lineN :: String |
101 lineN, end_lineN :: String |