diff options
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -8,6 +8,11 @@ and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac ** Generic changes +*** new command and menu item to easily upgrade all packages + - To upgrade all ELPA packages (including ProofGeneral if it was + installed via MELPA), do "M-x proof-upgrade-elpa-packages RET" + or use the "Proof-General > Upgrade ELPA packages..." menu item + *** bug fixes - Using query-replace (or replace-string) in the processed region doesn't wrongly jump to the first match anymore. |
