[Top][All Lists]

[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 
 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]