# HG changeset patch # User wenzelm # Date 1342795637 -7200 # Node ID 680d297ec71bdfdaf708490117d2abc251a48cb5 # Parent 7363de5c8a264c93b57ea5da04d8f98cd90e9574 some basic Isabelle options; diff -r 7363de5c8a26 -r 680d297ec71b etc/options --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/etc/options Fri Jul 20 16:47:17 2012 +0200 @@ -0,0 +1,24 @@ +(* :mode=isabelle-options: *) + +declare browser_info : bool + +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 threads_limit : int +declare threads_trace : bool +declare parallel_proofs : bool define parallel_proofs = true +declare parallel_proofs_threshold : int + +declare print_mode : string + +declare proofs : bool +declare quick_and_dirty : bool + +declare timing : bool +declare verbose : bool + +declare condition : string +