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

diff --git a/NEWS.org b/NEWS.org
index a995e01826d03b7b38f1a180792f7cf41aaaa07d..957f895df92d2806dcbe535e3504ef2880589169 100644 (file)
--- 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 3f1f9c8ce612d4bbb24bc009dc79c944580732f8..a61ff5b8b9c85ead26b548034f073fcad58d9e65 100644 (file)
--- 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 283d6c23a8e6853214bd969c061bc52a89315e26..d458f318e5044d61a7a4841cbfce2e01266bc657 100644 (file)
--- 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.