--- a/etc/options Fri Aug 03 13:55:51 2012 +0200
+++ b/etc/options Fri Aug 03 14:52:45 2012 +0200
@@ -63,3 +63,6 @@
declare timing : bool = false
-- "global timing of toplevel command execution and theory processing"
+declare timeout : real = 0
+ -- "timeout for session build job (seconds > 0)"
+