[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] externals/caml 7c426ee 070/197: ajout -dtypes
From: |
Stefan Monnier |
Subject: |
[nongnu] externals/caml 7c426ee 070/197: ajout -dtypes |
Date: |
Sat, 21 Nov 2020 01:19:40 -0500 (EST) |
branch: externals/caml
commit 7c426eed4c35669edd3568b1c3fe0157e41e4366
Author: Damien Doligez <damien.doligez-inria.fr>
Commit: Damien Doligez <damien.doligez-inria.fr>
ajout -dtypes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5504
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 ec20a1a..3a634e2 100644
--- a/caml-types.el
+++ b/caml-types.el
@@ -33,11 +33,11 @@
; . If you want the type of a list, put the cursor on a bracket,
; or on a semicolon, or on the :: constructor
; . Even if type checking fails, you can still look at the types
-; in the file, up to and including where the type checker failed.
+; in the file, up to where the type checker failed.
; . To get rid of the highlighting, put the cursor in a comment
; and type C-c C-t.
; . The mark in the .types file is set to the beginning of the
-; type, so you can type C-x C-x to view the type in that file.
+; type, so you can type C-x C-x in that file to view the type.
- [nongnu] externals/caml afff6d2 040/197: Adding file caml-help.el, (continued)
- [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, 2020/11/21
- [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 <=
- [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
- [nongnu] externals/caml 6f9f060 096/197: caml-types:, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml bcd8c14 097/197: Retrait des messages de debugging..., Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 70cc99c 101/197: - Mouse navigation in a caml-help window does not open another window, Stefan Monnier, 2020/11/21