diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 11:03:03 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 11:03:03 +0000 |
commit | 386838dff97a7551fa56a3e0429ab6bf796da8e9 (patch) | |
tree | 386076c2d3a99b10766bde58a7fb0233ec322606 /etc/profiling.txt | |
parent | a1aef043973c8cf7456f7104abf448dc2bd9e3dd (diff) |
Profile 'pg' needed now too
Diffstat (limited to 'etc/profiling.txt')
-rw-r--r-- | etc/profiling.txt | 1 |
1 files changed, 1 insertions, 0 deletions
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 > |