--- a/etc/options Tue Jul 24 10:58:43 2012 +0200
+++ b/etc/options Tue Jul 24 11:02:42 2012 +0200
@@ -1,6 +1,7 @@
(* :mode=isabelle-options: *)
declare browser_info : bool = false
+declare browser_info_remote : string = ""
declare document : string = ""
declare document_variants : string = document