equal
deleted
inserted
replaced
12 val block: text -> XML.tree |
12 val block: text -> XML.tree |
13 val output: text -> text |
13 val output: text -> text |
14 val macro0: string -> text |
14 val macro0: string -> text |
15 val macro: string -> text -> text |
15 val macro: string -> text -> text |
16 val environment: string -> text -> text |
16 val environment: string -> text -> text |
17 val output_name: string -> string |
|
18 val output_ascii: string -> string |
17 val output_ascii: string -> string |
19 val output_ascii_breakable: string -> string -> string |
18 val output_ascii_breakable: string -> string -> string |
20 val output_symbols: Symbol.symbol list -> string |
19 val output_symbols: Symbol.symbol list -> string |
21 val output_syms: string -> string |
20 val output_syms: string -> string |
22 val symbols: Symbol_Pos.T list -> text |
21 val symbols: Symbol_Pos.T list -> text |