From 0bdb7f45bf2d93f86f355e898e01954f02977c93 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 18 Apr 2011 09:48:11 +0000
Subject: Docstring

---
 lib/pg-dev.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib')

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-")
-- 
cgit v1.2.3