wenzelm@48367: (* :mode=isabelle-options: *) wenzelm@48367: wenzelm@48370: declare browser_info : bool = false wenzelm@48367: wenzelm@48458: declare document : string = "" wenzelm@48370: declare document_variants : string = document wenzelm@48370: declare document_graph : bool = false wenzelm@48457: declare document_dump : string = "" wenzelm@48458: declare no_document : bool = false wenzelm@48367: wenzelm@48460: declare threads : int = 1 wenzelm@48370: declare threads_trace : int = 0 wenzelm@48370: declare parallel_proofs : int = 1 wenzelm@48370: declare parallel_proofs_threshold : int = 100 wenzelm@48367: wenzelm@48370: declare print_mode : string = "" wenzelm@48367: wenzelm@48370: declare proofs : int = 0 wenzelm@48370: declare quick_and_dirty : bool = false wenzelm@48367: wenzelm@48370: declare condition : string = "" wenzelm@48367: