From 8debe1de52ce8f737d0b03a6e9c5d8472a3fccfe Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Fri, 25 Nov 2022 12:44:09 +0200 Subject: [PATCH] Fix typos in README.org --- README.org | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.org b/README.org index 9fdfe56..2b5acd2 100644 --- a/README.org +++ b/README.org @@ -1131,10 +1131,10 @@ test() :- TestBody. :- end_tests(foo_regression_tests). #+end_src -The cursor is left between the parentheses in ~test()~ head term and the -~TestBody~ variable is marked as a hole (see [[#filling-holes][Filling Holes]]). To insert -another unit test, place point after a complete test case and type -~C-M-m~ or ~M-RET~ to invoke ~sweeprolog-insert-term-dwim~ (see +The cursor is left between the parentheses of the ~test()~ head term, +and the ~TestBody~ variable is marked as a hole (see [[#filling-holes][Filling Holes]]). To +insert another unit test, place point after a complete test case and +type ~C-M-m~ or ~M-RET~ to invoke ~sweeprolog-insert-term-dwim~ (see [[#insert-term-at-point][Context-Based Term Insertion]]). [fn:3] See [[https://www.swi-prolog.org/pldoc/doc_for?object=section(%27packages/plunit.html%27)][Prolog Unit Tests in the SWI-Prolog manual]]. -- 2.39.2