diff options
| author | letouzey | 2008-12-17 13:05:21 +0000 |
|---|---|---|
| committer | letouzey | 2008-12-17 13:05:21 +0000 |
| commit | 275151328893782671c1c6949c93b65f6d65fefa (patch) | |
| tree | dad81793e04f1f7355bfefe3f17961bb61df485f /toplevel/mltop.mli | |
| parent | b2482b59cc9423c0944541cdb034d99d8c00cfad (diff) | |
Sequel of 11697: repair coqtop.byte when contribs are statically linked (+minor improvements)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11692 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel/mltop.mli')
| -rw-r--r-- | toplevel/mltop.mli | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/toplevel/mltop.mli b/toplevel/mltop.mli index 15fdbe4c56..af638241c0 100644 --- a/toplevel/mltop.mli +++ b/toplevel/mltop.mli @@ -48,9 +48,6 @@ val add_rec_ml_dir : string -> unit val add_path : unix_path:string -> coq_root:Names.dir_path -> unit val add_rec_path : unix_path:string -> coq_root:Names.dir_path -> unit -val add_init_with_state : (unit -> unit) -> unit -val init_with_state : unit -> unit - (* List of modules linked to the toplevel *) val add_known_module : string -> unit val module_is_known : string -> bool @@ -67,6 +64,8 @@ val inMLModule : ml_module_object -> Libobject.obj val outMLModule : Libobject.obj -> ml_module_object val declare_ml_modules : string list -> unit +val load_initial_plugins : unit -> unit + val print_ml_path : unit -> unit val print_ml_modules : unit -> unit |