]> git.eshelyaron.com Git - dict.git/commitdiff
Fix some typos in the manual section about holes
authorEshel Yaron <me@eshelyaron.com>
Sun, 25 Dec 2022 18:54:21 +0000 (20:54 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sun, 25 Dec 2022 19:34:04 +0000 (21:34 +0200)
README.org

index 634a90aaf800d051a2af32bbb9ca348307d4d3c1..c0ba4d6800e29933a580408702259fb00f8207be 100644 (file)
@@ -811,23 +811,23 @@ sweeprolog-insert-term-with-holes~.  This command, bound by default to
 ~C-c C-m~ (or ~C-c RET~) in ~sweeprolog-mode~ buffers, prompts for a functor
 and an arity and inserts a corresponding term with holes in place of
 the term's arguments.  It leaves point right after the first hole,
-sets the mark to its start and activates region such that the hole is
-marked.  Call ~sweeprolog-insert-term-with-holes~ again to replace the
-active region which now covers the first hole with another term, that
-may again contain further holes.  That way you can incrementally write
-down a Prolog term, including whole clauses, by working down the
-syntactic structure of the term and maintaining its all the while.
-Without a prefix argument, ~sweeprolog-insert-term-with-holes~ prompts
-for the functor and the arity to use.  A non-negative prefix argument,
-e.g. ~C-2 C-c C-m~ or ~C-u C-c C-m~, is taken as to be the inserted term's
-arity and in this case ~sweeprolog-insert-term-with-holes~ only prompts
-for the functor to insert.  A negative prefix argument, ~C-- C-c C-m~,
-inserts only a single hole without prompting for a functor.  To
-further help with keeping the buffer syntactically correct, this
-command adds a comma (~,~) before or after the inserted term when needed
-according to the surrounding tokens.  If you call it at the end of a
-term that doesn't have a closing fullstop, it adds the fullstop after
-the inserted term.
+sets the mark to its start and activates the region such that the hole
+is marked.  Call ~sweeprolog-insert-term-with-holes~ again to replace
+the active region, which now covers the first hole, with another term,
+that may again contain further holes.  That way you can incrementally
+write a Prolog term, including whole clauses, by working down the
+syntactic structure of the term and maintaining its correctness all
+the while.  Without a prefix argument,
+~sweeprolog-insert-term-with-holes~ prompts for the functor and the
+arity to use.  A non-negative prefix argument, such as ~C-2 C-c C-m~ or
+~C-u C-c C-m~, is taken to be the inserted term's arity and in this case
+~sweeprolog-insert-term-with-holes~ only prompts for the functor to
+insert.  A negative prefix argument, ~C-- C-c C-m~, inserts only a
+single hole without prompting for a functor.  To further help with
+keeping the buffer syntactically correct, this command adds a comma
+(~,~) before or after the inserted term when needed according to the
+surrounding tokens.  If you call it at the end of a term that doesn't
+have a closing fullstop, it adds the fullstop after the inserted term.
 
 Several other ~sweep~ commands insert holes in place of unknown terms,
 including ~C-M-i~ (see [[#code-completion][Code Completion]]), ~C-M-m~ (see [[#insert-term-at-point][Context-Based Term