etc/options
changeset 48367 680d297ec71b
child 48370 d0fa3efec93b
equal deleted inserted replaced
48366:7363de5c8a26 48367:680d297ec71b
       
     1 (* :mode=isabelle-options: *)
       
     2 
       
     3 declare browser_info : bool
       
     4 
       
     5 declare document : bool               define document = true
       
     6 declare document_format : string      define document_format = pdf
       
     7 declare document_variants : string    define document_variants = document
       
     8 declare document_graph : bool
       
     9 
       
    10 declare threads_limit : int
       
    11 declare threads_trace : bool
       
    12 declare parallel_proofs : bool        define parallel_proofs = true
       
    13 declare parallel_proofs_threshold : int
       
    14 
       
    15 declare print_mode : string
       
    16 
       
    17 declare proofs : bool
       
    18 declare quick_and_dirty : bool
       
    19 
       
    20 declare timing : bool
       
    21 declare verbose : bool
       
    22 
       
    23 declare condition : string
       
    24