[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] externals/caml 1527d9f 112/197: petit problem de doc
From: |
Stefan Monnier |
Subject: |
[nongnu] externals/caml 1527d9f 112/197: petit problem de doc |
Date: |
Sat, 21 Nov 2020 01:19:49 -0500 (EST) |
branch: externals/caml
commit 1527d9f1227e2dffc5fecd13775fd0e222ffd20d
Author: Damien Doligez <damien.doligez-inria.fr>
Commit: Damien Doligez <damien.doligez-inria.fr>
petit problem de doc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8413
f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
caml-types.el | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/caml-types.el b/caml-types.el
index 4c42574..71d47a5 100644
--- a/caml-types.el
+++ b/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.
- [nongnu] externals/caml 2c3dbdb 157/197: merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205), (continued)
- [nongnu] externals/caml 2c3dbdb 157/197: merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205), Stefan Monnier, 2020/11/21
- [nongnu] externals/caml ed94de1 159/197: simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/check-typo, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 66c8274 050/197: run caml directly, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 6b7bd5d 073/197: changement .types -> .annot + format, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml eb43a39 074/197: - compile-command in caml.le, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 5732aaa 077/197: Changes to caml-types.el:, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml e913a93 090/197: compatibilite emacs 20 + fichiers read-only, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml d17e3c1 094/197: caml-types: mouse track + little things, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml eb696b8 098/197: commentaires, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 2c4bb06 100/197: - Fixes in caml-help:, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 1527d9f 112/197: petit problem de doc,
Stefan Monnier <=
- [nongnu] externals/caml 0e62e65 123/197: fixes bug 0005016--missing quote, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 70a5593 127/197: Undoing last commit by error., Stefan Monnier, 2020/11/21
- [nongnu] externals/caml d045fae 132/197: correct fontification for strings and comments, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml d9f8b96 136/197: PR#5403: give better error message when emacs is not found in PATH, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 49b5c47 138/197: More renaming to OCaml, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml d75ad35 139/197: Change "Ocaml" to "OCaml" everywhere, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml a7770e1 141/197: clean up TABs and whitespace, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 16dba2b 150/197: Merge short-paths into a fresh branch of trunk., Stefan Monnier, 2020/11/21
- [nongnu] externals/caml f5ba233 152/197: PR#5954 fix 'defface' use in emacs/caml-help.el (patched by 'zakkak'), Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 22ff4ef 153/197: fix undeclared variable, Stefan Monnier, 2020/11/21