diff options
Diffstat (limited to 'toplevel/coqinit.mli')
| -rw-r--r-- | toplevel/coqinit.mli | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/toplevel/coqinit.mli b/toplevel/coqinit.mli index 0d2da84bb..0ceba5b38 100644 --- a/toplevel/coqinit.mli +++ b/toplevel/coqinit.mli @@ -10,19 +10,12 @@ val set_debug : unit -> unit -val set_rcfile : string -> unit - -val no_load_rc : unit -> unit -val load_rcfile : time:bool -> Stm.doc -> Stateid.t -> Stm.doc * Stateid.t - -val push_include : string -> Names.DirPath.t -> bool -> unit -(** [push_include phys_path log_path implicit] *) - -val push_ml_include : string -> unit +val load_rcfile : rcfile:(string option) -> time:bool -> Stm.doc -> Stateid.t -> Stm.doc * Stateid.t val init_ocaml_path : unit -> unit (* LoadPath for toploop toplevels *) val toplevel_init_load_path : unit -> Mltop.coq_path list + (* LoadPath for Coq user libraries *) val libs_init_load_path : load_init:bool -> Mltop.coq_path list |