etc/options

--- a/etc/options	Fri Oct 31 17:08:54 2014 +0100
+++ b/etc/options	Fri Oct 31 18:56:59 2014 +0100
@@ -90,9 +90,6 @@
 option condition : string = ""
   -- "required environment variables for subsequent theories (separated by commas)"
 
-option timing : bool = false
-  -- "global timing of toplevel command execution and theory processing"
-
 option timeout : real = 0
   -- "timeout for session build job (seconds > 0)"