branch: scratch/ediprolog
commit 8b554e63aab57951a136abfd66d20f064fb848d8
Author: Markus Triska <[email protected]>
Commit: Markus Triska <[email protected]>
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
