# 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
+