diff options
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index c5f4960d..07bbaf04 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -106,7 +106,7 @@ Return nil if not a script buffer or if no active scripting buffer." ;; Facility to upgrade all ELPA packages (including ProofGeneral) ;; - +;;;###autoload (defun proof-upgrade-elpa-packages () "Upgrade all ELPA packages (using package.el)." (interactive) |