aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES8
1 files changed, 8 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index c176215f..10cf0d25 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,6 +4,14 @@ This is a summary of main changes. For details, please see
the Git ChangeLog, the GitHub repo https://github.com/ProofGeneral/PG
and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac
+* Changes of Proof General 4.4.1 from Proof General 4.4
+
+** Generic changes
+
+*** bug fixes
+ - Using query-replace (or replace-string) in the processed region
+ doesn't wrongly jump to the first match anymore.
+
* Changes of Proof General 4.4 from Proof General 4.3
** ProofGeneral has moved to GitHub!