[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[elpa] scratch/ediprolog 8b554e63aa 24/31: document Scryer Prolog defaul
From: |
Stefan Monnier |
Subject: |
[elpa] scratch/ediprolog 8b554e63aa 24/31: document Scryer Prolog default setting |
Date: |
Sun, 2 Oct 2022 17:01:38 -0400 (EDT) |
branch: scratch/ediprolog
commit 8b554e63aab57951a136abfd66d20f064fb848d8
Author: Markus Triska <triska@metalevel.at>
Commit: Markus Triska <triska@metalevel.at>
document Scryer Prolog default setting
---
README.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/README.md b/README.md
index 406a356fd1..9aa9d45def 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ After you have installed ediprolog, you can customize it with:
The two most important configuration options are:
- - `ediprolog-system`, either `scryer` or `swi`
+ - `ediprolog-system`, either `scryer` (default) or `swi`
- `ediprolog-program`, the path of the Prolog executable.
# Usage
- [elpa] scratch/ediprolog 1c8b127701 02/31: initial revision, (continued)
- [elpa] scratch/ediprolog 1c8b127701 02/31: initial revision, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog f1b2480f46 12/31: preparing version 1.2, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 2b348c3161 15/31: describe screenshot, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 9c4c80ad4a 21/31: improve compatibility with older Emacs versions, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog e75c0ddfc4 30/31: Merge Jun 8 2020 commit '751119cfee9' into externals/ediprolog, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 751119cfee 22/31: update Scryer Prolog answer, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 8ba8786386 18/31: clarify installation, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 5fd08fe19a 23/31: improve compatibility with older Emacs versions, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog ebd79c0abd 26/31: enable faithful processing of multiline queries for Scryer Prolog, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 6f94bf2368 19/31: add link to video, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 8b554e63aa 24/31: document Scryer Prolog default setting,
Stefan Monnier <=
- [elpa] scratch/ediprolog 4b265d2fb5 09/31: add a note distinguishing buffer content and file, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 3f8ab3eea0 10/31: wording, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog dc0e51ba57 29/31: ediprolog 2.2: support newer Scryer Prolog versions, and smaller improvements, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 34f7aa545c 04/31: transition to markdown, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 943f7c2a48 01/31: initial revision, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 68024b9f08 13/31: point to further information, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog d30bc3dd59 17/31: explain installation of ediprolog via GNU ELPA, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog c4d0834457 16/31: link to PceProlog, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 85fae67aea 25/31: support the latest development version of Scryer Prolog, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 68a7b83f4d 20/31: ediprolog 2.0: Scryer Prolog is now the default Prolog system, Stefan Monnier, 2022/10/02