From 21e952d79da3f466c4f10417ffd97e8f992196a8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 11 Sep 2009 12:06:52 +0000 Subject: Update temp list --- etc/isar/profiling.txt | 3 +++ 1 file changed, 3 insertions(+) (limited to 'etc/isar/profiling.txt') diff --git a/etc/isar/profiling.txt b/etc/isar/profiling.txt index 8a5df44e..c9c0b883 100644 --- a/etc/isar/profiling.txt +++ b/etc/isar/profiling.txt @@ -609,3 +609,6 @@ proof-pbp-focus-on-first-goal 1 1e-0 proof-display-and-keep-buffer 1 1e-06 1e-06 proof-release-lock 1 1e-06 1e-06 pg-finish-tracing-display 1 1e-06 1e-06 + + +----------------------------------------------------------------- -- cgit v1.2.3