equal
deleted
inserted
replaced
21 val with_tmp_file: string -> string -> (Path.T -> 'a) -> 'a |
21 val with_tmp_file: string -> string -> (Path.T -> 'a) -> 'a |
22 val rm_tree: Path.T -> unit |
22 val rm_tree: Path.T -> unit |
23 val with_tmp_dir: string -> (Path.T -> 'a) -> 'a |
23 val with_tmp_dir: string -> (Path.T -> 'a) -> 'a |
24 val download: string -> string |
24 val download: string -> string |
25 val download_file: string -> Path.T -> unit |
25 val download_file: string -> Path.T -> unit |
|
26 val decode_base64: string -> string |
|
27 val encode_base64: string -> string |
26 val isabelle_id: unit -> string |
28 val isabelle_id: unit -> string |
27 val isabelle_identifier: unit -> string option |
29 val isabelle_identifier: unit -> string option |
28 val isabelle_heading: unit -> string |
30 val isabelle_heading: unit -> string |
29 val isabelle_name: unit -> string |
31 val isabelle_name: unit -> string |
30 val identification: unit -> string |
32 val identification: unit -> string |