equal
deleted
inserted
replaced
79 -- "global timing of toplevel command execution and theory processing" |
79 -- "global timing of toplevel command execution and theory processing" |
80 |
80 |
81 option timeout : real = 0 |
81 option timeout : real = 0 |
82 -- "timeout for session build job (seconds > 0)" |
82 -- "timeout for session build job (seconds > 0)" |
83 |
83 |
|
84 option process_output_limit : int = 100 |
|
85 -- "build process output limit in million characters (0 = unlimited)" |
|
86 |
84 |
87 |
85 section "Editor Reactivity" |
88 section "Editor Reactivity" |
86 |
89 |
87 option editor_skip_proofs : bool = false |
90 option editor_skip_proofs : bool = false |
88 -- "skip over proofs (implicit 'sorry')" |
91 -- "skip over proofs (implicit 'sorry')" |