[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[elpa] scratch/ediprolog 85fae67aea 25/31: support the latest developmen
From: |
Stefan Monnier |
Subject: |
[elpa] scratch/ediprolog 85fae67aea 25/31: support the latest development version of Scryer Prolog |
Date: |
Sun, 2 Oct 2022 17:01:39 -0400 (EDT) |
branch: scratch/ediprolog
commit 85fae67aeaede36ba61b0c551aa18617d3b9f797
Author: Markus Triska <triska@metalevel.at>
Commit: Markus Triska <triska@metalevel.at>
support the latest development version of Scryer Prolog
---
ediprolog.el | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/ediprolog.el b/ediprolog.el
index 7ddcc2d654..fd91d4061e 100644
--- a/ediprolog.el
+++ b/ediprolog.el
@@ -92,7 +92,7 @@
;;; Code:
-(defconst ediprolog-version "2.2-PRE")
+(defconst ediprolog-version "2.2-PRE2")
(defgroup ediprolog nil
"Transparent interaction with Prolog."
@@ -272,9 +272,9 @@ set_prolog_flag(toplevel_prompt, '%s').\n"
(ediprolog-prompt)))))
;; success (i.e., consulted without errors), or still an incomplete
;; line that starts with a comment character
(unless (or (string-match "^[\t ]*\\(?:%.*\\)?\\'" str)
- (let ((success "true."))
- (and (<= (length str) (length success))
- (string= str (substring success 0 (length str))))))
+ (string-prefix-p str "true.")
+ ;; newer versions of Scryer Prolog prepend 3 spaces to "true."
+ (string-prefix-p str " true."))
(setq ediprolog-consult-window (display-buffer ediprolog-consult-buffer))
(set-window-dedicated-p ediprolog-consult-window t)
(fit-window-to-buffer ediprolog-consult-window (/ (frame-height) 2))))
- [elpa] scratch/ediprolog 6f94bf2368 19/31: add link to video, (continued)
- [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, 2022/10/02
- [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 <=
- [elpa] scratch/ediprolog 68a7b83f4d 20/31: ediprolog 2.0: Scryer Prolog is now the default Prolog system, Stefan Monnier, 2022/10/02