diff options
author | Erik Martin-Dorel <erik.martin-dorel@irit.fr> | 2016-10-16 00:02:39 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik.martin-dorel@irit.fr> | 2016-10-16 00:04:51 +0200 |
commit | 25355560b4aa25b17b754c33c9ba2a18d7498df4 (patch) | |
tree | 318f6a735d546232aef6ddb3644941924c139538 /CHANGES | |
parent | a51f0da56e93ff5c892d6de4f9b46483ffc6b383 (diff) |
Update CHANGES.
Related: ProofGeneral/PG#41
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -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! |