equal
deleted
inserted
replaced
9 sig |
9 sig |
10 val display: bool ref |
10 val display: bool ref |
11 val quotes: bool ref |
11 val quotes: bool ref |
12 val indent: int ref |
12 val indent: int ref |
13 val source: bool ref |
13 val source: bool ref |
|
14 val break: bool ref |
14 val add_commands: (string * (Args.src -> Toplevel.node option -> string)) list -> unit |
15 val add_commands: (string * (Args.src -> Toplevel.node option -> string)) list -> unit |
15 val add_options: (string * (string -> (unit -> string) -> unit -> string)) list -> unit |
16 val add_options: (string * (string -> (unit -> string) -> unit -> string)) list -> unit |
16 val defined_command: string -> bool |
17 val defined_command: string -> bool |
17 val defined_option: string -> bool |
18 val defined_option: string -> bool |
18 val print_antiquotations: unit -> unit |
19 val print_antiquotations: unit -> unit |