tuned whitespace;
authorwenzelm
Fri Apr 01 16:20:04 2016 +0200 (2016-04-01)
changeset 627900c526d2fb609
parent 62789 ce15dd971965
child 62791 64ebecf8646c
tuned whitespace;
etc/options
     1.1 --- a/etc/options	Fri Apr 01 16:15:31 2016 +0200
     1.2 +++ b/etc/options	Fri Apr 01 16:20:04 2016 +0200
     1.3 @@ -68,6 +68,7 @@
     1.4    -- "level of tracing information for multithreading"
     1.5  option threads_stack_limit : real = 0.25
     1.6    -- "maximum stack size for worker threads (in giga words, 0 = unlimited)"
     1.7 +
     1.8  public option parallel_print : bool = true
     1.9    -- "parallel and asynchronous printing of results"
    1.10  public option parallel_proofs : int = 2
    1.11 @@ -175,4 +176,3 @@
    1.12  
    1.13  public option completion_limit : int = 40
    1.14    -- "limit for completion within the formal context"
    1.15 -