etc/options

--- a/etc/options	Thu Jul 26 13:35:31 2012 +0200
+++ b/etc/options	Thu Jul 26 13:38:43 2012 +0200
@@ -1,7 +1,6 @@
 (* :mode=isabelle-options: *)
 
 declare browser_info : bool = false
-declare browser_info_remote : string = ""
 
 declare document : string = ""
 declare document_variants : string = "outline=/proof,/ML"