diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-04-18 09:48:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-04-18 09:48:11 +0000 |
commit | 0bdb7f45bf2d93f86f355e898e01954f02977c93 (patch) | |
tree | 87555fd90defacfa77697a1a291619a97e00481a | |
parent | e760427024ac455a7fb10996fa6851c968bf6968 (diff) |
Docstring
-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-") |