From 62598c156619943b5b00d3a04fbdcd97db864317 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sun, 25 Dec 2022 20:54:21 +0200 Subject: [PATCH] Fix some typos in the manual section about holes --- README.org | 34 +++++++++++++++++----------------- 1 file changed, 17 insertions(+), 17 deletions(-) diff --git a/README.org b/README.org index 634a90a..c0ba4d6 100644 --- a/README.org +++ b/README.org @@ -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 -- 2.39.2