diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-03-03 09:38:43 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-03-03 09:38:43 +0000 |
| commit | 0ae32ea35176c9cb1b04600ef59f4d416c856e89 (patch) | |
| tree | b314f92c40ea28311b2e69bd65f412a8b5778a75 /otherlibs/labltk/browser/shell.mli | |
| parent | fa00b82689c7e4822566eff7e51a7771ccab41f8 (diff) | |
add -modern and -w options
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/shell.mli')
| -rw-r--r-- | otherlibs/labltk/browser/shell.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/shell.mli b/otherlibs/labltk/browser/shell.mli index 0655f4044..856587319 100644 --- a/otherlibs/labltk/browser/shell.mli +++ b/otherlibs/labltk/browser/shell.mli @@ -29,5 +29,6 @@ class shell : val kill_all : unit -> unit val get_all : unit -> (string * shell) list +val warnings : string ref val f : prog:string -> title:string -> unit |