diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2007-10-08 12:27:15 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2007-10-08 12:27:15 +0000 |
| commit | 9d7b5513e3db593afc19547cec6b6a63b77f9752 (patch) | |
| tree | 2f267e2909748d153f7f6dbe83b8446663554d56 | |
| parent | c2b4fdde785e6acaa19ee13ec3e7a69f2a9387c0 (diff) | |
petit problem de doc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | emacs/caml-types.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/emacs/caml-types.el b/emacs/caml-types.el index 4c42574d2..71d47a54b 100644 --- a/emacs/caml-types.el +++ b/emacs/caml-types.el @@ -225,8 +225,8 @@ See `caml-types-location-re' for annotation file format. ))) (defun caml-types-show-ident (arg) - "Show the kind of call at point. - The smallest function call that contains point is + "Show the kind of identifier at point. + The identifier that contains point is temporarily highlighted. Its kind is highlighted in the .annot file and the mark is set to the beginning of the kind. The kind is also displayed in the mini-buffer. |