equal
deleted
inserted
replaced
6 |
6 |
7 signature COMMENT = |
7 signature COMMENT = |
8 sig |
8 sig |
9 datatype kind = Comment | Cancel | Latex |
9 datatype kind = Comment | Cancel | Latex |
10 val markups: kind -> Markup.T list |
10 val markups: kind -> Markup.T list |
|
11 val is_symbol: Symbol.symbol -> bool |
11 val scan_comment: (kind * Symbol_Pos.T list) scanner |
12 val scan_comment: (kind * Symbol_Pos.T list) scanner |
12 val scan_cancel: (kind * Symbol_Pos.T list) scanner |
13 val scan_cancel: (kind * Symbol_Pos.T list) scanner |
13 val scan_latex: (kind * Symbol_Pos.T list) scanner |
14 val scan_latex: (kind * Symbol_Pos.T list) scanner |
14 val scan: (kind * Symbol_Pos.T list) scanner |
15 val scan: (kind * Symbol_Pos.T list) scanner |
15 val read_body: Symbol_Pos.T list -> (kind option * Symbol_Pos.T list) list option |
16 val read_body: Symbol_Pos.T list -> (kind option * Symbol_Pos.T list) list option |