discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
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"
2.1 --- a/src/Pure/System/build.ML Thu Jul 26 13:35:31 2012 +0200
2.2 +++ b/src/Pure/System/build.ML Thu Jul 26 13:38:43 2012 +0200
2.3 @@ -66,8 +66,7 @@
2.4 (space_explode ":" (Options.string options "document_variants"))
2.5 parent_base_name base_name
2.6 (not (Options.bool options "document_dump_only"), Options.string options "document_dump")
2.7 - (Options.string options "browser_info_remote")
2.8 - verbose;
2.9 + "" verbose;
2.10 val _ = Session.with_timing name timing (List.app use_theories) theories;
2.11 val _ = Session.finish ();
2.12 val _ = if do_output then () else quit ();