From 6431074ee1a130d7bc63a6f2cce97ab704d41d58 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sat, 7 Oct 2023 15:07:40 +0200 Subject: [PATCH] Announce recent changes in NEWS.org and bump version to 0.25.3 --- NEWS.org | 12 ++++++++++++ sweep.texi | 4 ++-- sweeprolog.el | 2 +- 3 files changed, 15 insertions(+), 3 deletions(-) diff --git a/NEWS.org b/NEWS.org index a995e01..957f895 100644 --- a/NEWS.org +++ b/NEWS.org @@ -11,6 +11,18 @@ SWI-Prolog in Emacs. For further details, please consult the manual: [[https://eshelyaron.com/sweep.html][https://eshelyaron.com/sweep.html]]. +* Version 0.25.3 on 2023-10-07 + +** ~sweeprolog-extract-region-to-predicate~ now supports lambda terms and existentially quantified goals + +The command ~sweeprolog-extract-region-to-predicate~ now supports +extracting ~library(yall)~ lambda terms to separate predicate +definitions. The new ~sweeprolog-extract-region-to-predicate~ also +improves the handling of existentially quantified goals (~X^Y^Goal~), +and in-clause disjunctions. + +** Various minor bug fixes and documentation improvements + * Version 0.25.2 on 2023-09-23 ** ~sweeprolog-extract-region-to-predicate~ can now replace all occurrences of the extracted goal in the buffer diff --git a/sweep.texi b/sweep.texi index 3f1f9c8..a61ff5b 100644 --- a/sweep.texi +++ b/sweep.texi @@ -11,7 +11,7 @@ @c %**end of header @copying -This manual is for Sweep (version 0.25.2), an Emacs package providing +This manual is for Sweep (version 0.25.3), an Emacs package providing an embedded SWI-Prolog runtime inside of Emacs along with an advanced SWI-Prolog development environment. @@ -42,7 +42,7 @@ Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. @node Top @top Sweep: SWI-Prolog Embedded in Emacs -This manual is for Sweep (version 0.25.2), an Emacs package providing +This manual is for Sweep (version 0.25.3), an Emacs package providing an embedded SWI-Prolog runtime inside of Emacs along with an advanced SWI-Prolog development environment. diff --git a/sweeprolog.el b/sweeprolog.el index 283d6c2..d458f31 100644 --- a/sweeprolog.el +++ b/sweeprolog.el @@ -6,7 +6,7 @@ ;; Maintainer: Eshel Yaron <~eshel/dev@lists.sr.ht> ;; Keywords: prolog languages extensions ;; URL: https://git.sr.ht/~eshel/sweep -;; Package-Version: 0.25.2 +;; Package-Version: 0.25.3 ;; Package-Requires: ((emacs "27.1") (compat "29.1.4.2")) ;; This file is NOT part of GNU Emacs. -- 2.39.5