From: Eshel Yaron <me@eshelyaron.com>
Date: Sat, 7 Oct 2023 13:07:40 +0000 (+0200)
Subject: Announce recent changes in NEWS.org and bump version to 0.25.3
X-Git-Tag: V9.1.16-sweep-0.25.3^0
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=6431074ee1a130d7bc63a6f2cce97ab704d41d58;p=sweep.git

Announce recent changes in NEWS.org and bump version to 0.25.3
---

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.