emacs-elpa-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[elpa] scratch/ediprolog 4da46823c9 06/31: use markdown elements for for


From: Stefan Monnier
Subject: [elpa] scratch/ediprolog 4da46823c9 06/31: use markdown elements for formatting
Date: Sun, 2 Oct 2022 17:01:37 -0400 (EDT)

branch: scratch/ediprolog
commit 4da46823c9e11282c0290c384b4d6a7fd45ebc6e
Author: Markus Triska <markus.triska@gmx.at>
Commit: Markus Triska <markus.triska@gmx.at>

    use markdown elements for formatting
---
 README.md | 56 ++++++++++++++++++++++++++++++--------------------------
 1 file changed, 30 insertions(+), 26 deletions(-)

diff --git a/README.md b/README.md
index 1f36b48bb3..4420a56bfd 100644
--- a/README.md
+++ b/README.md
@@ -1,10 +1,9 @@
-ediprolog lets you interact with SWI-Prolog in all Emacs buffers.
+*ediprolog* lets you interact with SWI-Prolog in all Emacs buffers.
 You can consult Prolog programs and evaluate embedded queries.
 
-Installation
-============
+#Installation
 
-Copy ediprolog.el to your load-path and add to your .emacs:
+Copy [ediprolog.el](ediprolog.el) to your `load-path` and add to your `.emacs`:
 
     (require 'ediprolog)
     (global-set-key [f10] 'ediprolog-dwim)
@@ -14,49 +13,54 @@ Restart Emacs and customize ediprolog with
     M-x customize-group RET ediprolog RET
 
 
-Usage
-=====
+#Usage
 
-The central function is `ediprolog-dwim' (Do What I Mean), which is
+The central function is `ediprolog-dwim` (Do What I Mean), which is
 bound to F10 by the snippet above. Depending on the content at
-point, `ediprolog-dwim' does the "appropriate" thing: If point is
-on a query, F10 sends the query to a Prolog process, and you
+point, `ediprolog-dwim` does the "appropriate" thing: If point is
+on a *query*, F10 sends the query to a Prolog process, and you
 interact with the process in the current buffer as on a terminal.
 Queries start with "?-" or ":-", possibly preceded by "%" and
 whitespace. An example of a query is:
 
-  %?- member(X, [a,b,c]).
+    %?- member(X, [a,b,c]).
 
 If you press F10 when point is on that query, you get:
 
-  %?- member(X, [a,b,c]).
-  %@ X = a ;
-  %@ X = b ;
-  %@ X = c ;
-  %@ false.
+    %?- member(X, [a,b,c]).
+    %@ X = a ;
+    %@ X = b ;
+    %@ X = c ;
+    %@ false.
 
 When waiting for output of the Prolog process, you can press C-g to
 unblock Emacs and continue with other work. To resume interaction
 with the Prolog process, use M-x ediprolog-toplevel RET.
 
-If you press F10 when point is NOT on a query, the buffer content
+If you press F10 when point is *not* on a query, the buffer content
 is consulted in the Prolog process, and point is moved to the first
 error (if any).
 
 For convenience, the most recent interactions with the Prolog
-process are logged in the buffer "*ediprolog-history*".
+process are logged in the buffer `*ediprolog-history*`.
 
-Use M-x ediprolog-localize RET to make any Prolog process started
+Use **M-x ediprolog-localize RET** to make any Prolog process started
 in the current buffer buffer-local. This way, you can run distinct
-processes simultaneously. Revert with M-x ediprolog-unlocalize RET.
+processes simultaneously. Revert with **M-x ediprolog-unlocalize RET**.
 
-`ediprolog-dwim' with prefix arguments has special meanings:
+`ediprolog-dwim` with prefix arguments has special meanings:
 
-  C-0 F10       kill Prolog process
-  C-1 F10       always consult buffer (even when point is on a query)
-  C-2 F10       always consult buffer, using a new process
-  C-7 F10       equivalent to `ediprolog-toplevel'
-  C-u F10       first consult buffer, then evaluate query (if any)
-  C-u C-u F10   like C-u F10, with a new process
+  | Key Sequence |   Meaning                                                |
+  |--------------|----------------------------------------------------------|
+  |  C-0 F10     |   kill Prolog process                                    |
+  |  C-1 F10     |   always consult buffer (even when point is on a query)  |
+  |  C-2 F10     |   always consult buffer, using a new process             |
+  |  C-7 F10     |   equivalent to `ediprolog-toplevel'                     |
+  |  C-u F10     |   first consult buffer, then evaluate query (if any)     |
+  |  C-u C-u F10 |   like C-u F10, with a new process                       |
 
 Tested with SWI-Prolog 5.6 and 6.6 + Emacs 21.2, 22.3, 23.1 and 24.3
+
+**Screenshot**
+
+![Factorial](factorial.png)



reply via email to

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