From 386838dff97a7551fa56a3e0429ab6bf796da8e9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 1 Dec 2009 11:03:03 +0000 Subject: Profile 'pg' needed now too --- etc/profiling.txt | 1 + 1 file changed, 1 insertion(+) (limited to 'etc/profiling.txt') diff --git a/etc/profiling.txt b/etc/profiling.txt index 49b378ba..b660f200 100644 --- a/etc/profiling.txt +++ b/etc/profiling.txt @@ -4,6 +4,7 @@ Notes on Profiling Proof General in Emacs Usage of Elisp profiler: M-x elp-instrument-package RET proof RET + M-x elp-instrument-package RET pg RET < do something now > -- cgit v1.2.3