From 7a156f04309691897acd87360007a48d65908778 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 24 May 2003 11:14:35 +0000
Subject: Updated.

---
 etc/profiling.txt | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'etc/profiling.txt')

diff --git a/etc/profiling.txt b/etc/profiling.txt
index 434b0bfd..8348c7ad 100644
--- a/etc/profiling.txt
+++ b/etc/profiling.txt
@@ -1,6 +1,17 @@
 Notes on Profiling Proof General in XEmacs  [da]
 ------------------------------------------------
 
+Usage of Elisp profiler:
+
+   M-x elp-instrument-package RET proof RET
+
+< do something now >
+
+   M-x elp-results
+
+To display results.
+
+
 M-x clear-profiling-info
 Eval: (profile (proof-toolbar-next) (proof-shell-wait))
 M-x profile-results
-- 
cgit v1.2.3