etc/options
changeset 48463 07f752935ece
parent 48460 20170ae271a5
child 48466 3b2fb20df17d
     1.1 --- a/etc/options	Tue Jul 24 10:58:43 2012 +0200
     1.2 +++ b/etc/options	Tue Jul 24 11:02:42 2012 +0200
     1.3 @@ -1,6 +1,7 @@
     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 = document