From 87e2337e6ed2beec88704f0f41d8133a4752ac5a Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 1 Jul 2000 18:13:29 +0000
Subject: activate global-timing;

---
 isa/isabelle-system.el | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 17c94f47..34335977 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -269,11 +269,10 @@ until Proof General is restarted."
   :type 'boolean
   :setting "quick_and_dirty:=%b;")
 
-; FIXME: for Isabelle99-1
-; (defpacustom global-timing  nil
-;  "Whether to enable timing in Isabelle."
-;  :type 'boolean
-;  :setting "Library.timing:=%b;")
+(defpacustom global-timing  nil
+  "Whether to enable timing in Isabelle."
+  :type 'boolean
+  :setting "Library.timing:=%b;")
 
 (defpacustom print-depth  10
   "Setting for the ML print depth in Isabelle."
-- 
cgit v1.2.3