From 25355560b4aa25b17b754c33c9ba2a18d7498df4 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 16 Oct 2016 00:02:39 +0200 Subject: Update CHANGES. Related: ProofGeneral/PG#41 --- CHANGES | 8 ++++++++ 1 file changed, 8 insertions(+) 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! -- cgit v1.2.3