[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] externals/caml 9ece2ad 045/197: Remise au mode info HeVeA par d
From: |
Stefan Monnier |
Subject: |
[nongnu] externals/caml 9ece2ad 045/197: Remise au mode info HeVeA par default. |
Date: |
Sat, 21 Nov 2020 01:19:35 -0500 (EST) |
branch: externals/caml
commit 9ece2add842ec42a294bdf08d07724a133f2e1b9
Author: Didier Rémy <Didier.Remy@inria.fr>
Commit: Didier Rémy <Didier.Remy@inria.fr>
Remise au mode info HeVeA par default.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4153
f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
caml-help.el | 17 +++++++++++------
1 file changed, 11 insertions(+), 6 deletions(-)
diff --git a/caml-help.el b/caml-help.el
index 2fa46d4..a4dc36f 100644
--- a/caml-help.el
+++ b/caml-help.el
@@ -47,14 +47,16 @@
-(defvar ocaml-info-alist 'ocaml-info-default-function
+(defvar ocaml-info-alist 'ocaml-info-default-function-old
"A-list binding module names to info entries:
nil means do not use info.
A function to build the list lazily (at the first call). The result of
the function call will be assign permanently to this variable for future
-uses. We provide a default function \\[ocaml-info-default-function].
+uses. We provide two default functions \\[ocaml-info-default-function]
+(info produced by HeVeA is the default) and \\[ocaml-info-default-function]
+(info produced by ocamldoc).
Otherwise, this value should be an alist binding module names to info
entries of the form to \"(entry)section\" be taken by the \\[info]
@@ -274,8 +276,7 @@ If Module is defined, it does completion for identifier in
Module.
If Module is undefined, it does completion in visible modules.
Then, if completion fails, it does completion among all modules
-where identifier is defined.
-"
+where identifier is defined."
(interactive "p")
(let* ((module-entry (ocaml-qualified-identifier))
(module)
@@ -375,7 +376,9 @@ where identifier is defined.
(defun ocaml-info-default-function-old ()
"The default way to create an info data base from the value
of \\[Info-default-directory-list] and the base name \\[ocaml-info-name]
-of files to look for."
+of files to look for.
+
+This uses info files produced by HeVeA."
(let ((collect) (seen))
(iter '(lambda (d)
(if (member d seen) nil
@@ -412,7 +415,9 @@ of files to look for."
(defun ocaml-info-default-function ()
"The default way to create an info data base from the value
of \\[Info-default-directory-list] and the base name \\[ocaml-info-name]
-of files to look for."
+of files to look for.
+
+This uses info files produced by ocamldoc."
(let ((collect) (seen))
(iter '(lambda (d)
(if (member d seen) nil
- [nongnu] externals/caml d287472 095/197: petits bugs, (continued)
- [nongnu] externals/caml d287472 095/197: petits bugs, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml eddf5e0 099/197: camldebug-command-name should be user-settable, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 901e8dd 103/197: Fusion des modifs de la branche release308 entre 3.08.0 et 3.08.1, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml afff6d2 040/197: Adding file caml-help.el, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml b060e59 041/197: indentation autour de "; ; ", Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 4759555 044/197: Amelioration de caml-help, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 05d89fc 061/197: added menu entries for caml-help and caml-complete, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml bf460c2 062/197: interactions bizarres de with, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml f45af82 063/197: - Fixed bugs + improved caml-help.el, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 5e6f8b6 071/197: value obsolete, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 9ece2ad 045/197: Remise au mode info HeVeA par default.,
Stefan Monnier <=
- [nongnu] externals/caml 91865b8 055/197: simplify electric, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 5b4e4bc 068/197: verifier que le buffer est a jour, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 7c426ee 070/197: ajout -dtypes, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml bb1103a 075/197: Scrolling .annot, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml c834fac 085/197: caml-xemacs.el, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml dbaedc7 086/197: added caml-emacs.el, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 2a6dc28 087/197: changed defmacro -> defalias, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml f751b4c 091/197: NOCOMPILE pour installer sans compiler (suggestion de Sven Luther), Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 0a4f815 093/197: Fix hilitghting of largest well-typed expr surrounding point., Stefan Monnier, 2020/11/21
- [nongnu] externals/caml b19dc86 092/197: pour que ca marche avec camlp4, Stefan Monnier, 2020/11/21