[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**
+
+
- [elpa] branch scratch/ediprolog created (now 7af081ba84), Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 4da46823c9 06/31: use markdown elements for formatting,
Stefan Monnier <=
- [elpa] scratch/ediprolog 4fabe53646 11/31: ENHANCED: Atomic undo of the whole interaction., Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 70bf2c095a 14/31: mention project page earlier, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 7af081ba84 31/31: Merge remote-tracking branch 'upstream/ediprolog/main' into externals/ediprolog, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 49679a0c44 28/31: use library(clpz) and Scryer Prolog interaction in screenshot, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 62ce0025b8 27/31: use compact string notation in sample queries, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 29a8c4a796 03/31: wording for README, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 277d0f9e72 05/31: add screenshot, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog ade75de9ae 07/31: table formatting, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 51a610ebc2 08/31: formatting and layout of Emacs commands, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 1c8b127701 02/31: initial revision, Stefan Monnier, 2022/10/02