| changeset 61600 | 1ca11ddfcc70 |
| parent 61537 | f6bd97a587b7 |
| child 61602 | a2f0f659a3c2 |
| 61599:2e52df0cd8ee | 61600:1ca11ddfcc70 |
|---|---|
162 section "Completion" |
162 section "Completion" |
163 |
163 |
164 public option completion_limit : int = 40 |
164 public option completion_limit : int = 40 |
165 -- "limit for completion within the formal context" |
165 -- "limit for completion within the formal context" |
166 |
166 |
167 public option document_symbols : bool = false |
|
168 -- "completion of Isabelle symbols within document source" |