etc/options
changeset 61600 1ca11ddfcc70
parent 61537 f6bd97a587b7
child 61602 a2f0f659a3c2
     1.1 --- a/etc/options	Sat Nov 07 15:23:26 2015 +0100
     1.2 +++ b/etc/options	Sat Nov 07 16:05:28 2015 +0100
     1.3 @@ -164,5 +164,3 @@
     1.4  public option completion_limit : int = 40
     1.5    -- "limit for completion within the formal context"
     1.6  
     1.7 -public option document_symbols : bool = false
     1.8 -  -- "completion of Isabelle symbols within document source"