From 1cddbe592b9e92b6e3c02358af7a1c7e1e301106 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 25 Feb 2021 20:36:44 +0100 Subject: docs(CHANGES): Add "M-x proof-upgrade-elpa-packages RET" & menu item --- CHANGES | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 4c038b8c..38c5048a 100644 --- a/CHANGES +++ b/CHANGES @@ -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. -- cgit v1.2.3