wenzelm@48367: (* :mode=isabelle-options: *)
wenzelm@48367: 
wenzelm@48367: declare browser_info : bool
wenzelm@48367: 
wenzelm@48367: declare document : bool               define document = true
wenzelm@48367: declare document_format : string      define document_format = pdf
wenzelm@48367: declare document_variants : string    define document_variants = document
wenzelm@48367: declare document_graph : bool
wenzelm@48367: 
wenzelm@48367: declare threads_limit : int
wenzelm@48367: declare threads_trace : bool
wenzelm@48367: declare parallel_proofs : bool        define parallel_proofs = true
wenzelm@48367: declare parallel_proofs_threshold : int
wenzelm@48367: 
wenzelm@48367: declare print_mode : string
wenzelm@48367: 
wenzelm@48367: declare proofs : bool
wenzelm@48367: declare quick_and_dirty : bool
wenzelm@48367: 
wenzelm@48367: declare timing : bool
wenzelm@48367: declare verbose : bool
wenzelm@48367: 
wenzelm@48367: declare condition : string
wenzelm@48367: