diff options
-rw-r--r-- | lib/pg-dev.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index 81c3b748..b791b155 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -1,6 +1,6 @@ ;;; pg-dev.el --- Developer settings for Proof General ;; -;; Copyright (C) 2008, 2009, 2010 LFCS Edinburgh. +;; Copyright (C) 2008-2011 LFCS Edinburgh. ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> and others ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -117,6 +117,7 @@ ;;;###autoload (defun profile-pg () + "Configure Proof General for profiling. Use M-x elp-results to see results." (interactive) (elp-instrument-package "proof-") (elp-instrument-package "pg-") |