diff -r 10b534e64209 -r d0fa3efec93b etc/options
--- a/etc/options	Fri Jul 20 17:43:55 2012 +0200
+++ b/etc/options	Fri Jul 20 18:50:33 2012 +0200
@@ -1,24 +1,24 @@
 (* :mode=isabelle-options: *)
 
-declare browser_info : bool
+declare browser_info : bool = false
 
-declare document : bool               define document = true
-declare document_format : string      define document_format = pdf
-declare document_variants : string    define document_variants = document
-declare document_graph : bool
+declare document : bool = true
+declare document_format : string = pdf
+declare document_variants : string = document
+declare document_graph : bool = false
 
-declare threads_limit : int
-declare threads_trace : bool
-declare parallel_proofs : bool        define parallel_proofs = true
-declare parallel_proofs_threshold : int
+declare threads_limit : int = 1
+declare threads_trace : int = 0
+declare parallel_proofs : int = 1
+declare parallel_proofs_threshold : int = 100
 
-declare print_mode : string
+declare print_mode : string = ""
 
-declare proofs : bool
-declare quick_and_dirty : bool
+declare proofs : int = 0
+declare quick_and_dirty : bool = false
 
-declare timing : bool
-declare verbose : bool
+declare timing : bool = false
+declare verbose : bool = false
 
-declare condition : string
+declare condition : string = ""