etc/options
changeset 48513 ace120a2cb70
parent 48492 03530cf284ca
child 48516 c5d0f19ef7cb
     1.1 --- a/etc/options	Thu Jul 26 13:35:31 2012 +0200
     1.2 +++ b/etc/options	Thu Jul 26 13:38:43 2012 +0200
     1.3 @@ -1,7 +1,6 @@
     1.4  (* :mode=isabelle-options: *)
     1.5  
     1.6  declare browser_info : bool = false
     1.7 -declare browser_info_remote : string = ""
     1.8  
     1.9  declare document : string = ""
    1.10  declare document_variants : string = "outline=/proof,/ML"