activate global-timing;

1 files 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."