[nongnu] elpa/sweeprolog 6431074ee1 9/9: Announce recent changes in NEWS.org and bump version to 0.25.3

[ELPA Syncer]

branch: elpa/sweeprolog
commit 6431074ee1a130d7bc63a6f2cce97ab704d41d58
Author: Eshel Yaron <me@eshelyaron.com>
Commit: Eshel Yaron <me@eshelyaron.com>

    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 a995e01826..957f895df9 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 3f1f9c8ce6..a61ff5b8b9 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 283d6c23a8..d458f318e5 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.