# HG changeset patch # User wenzelm # Date 1343302723 -7200 # Node ID ace120a2cb70320de4ae83632e38b02c5bb1b227 # Parent a69d7dc49f41b0f85ce6ee4195598fa49afa64ea discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library; diff -r a69d7dc49f41 -r ace120a2cb70 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" diff -r a69d7dc49f41 -r ace120a2cb70 src/Pure/System/build.ML --- a/src/Pure/System/build.ML Thu Jul 26 13:35:31 2012 +0200 +++ b/src/Pure/System/build.ML Thu Jul 26 13:38:43 2012 +0200 @@ -66,8 +66,7 @@ (space_explode ":" (Options.string options "document_variants")) parent_base_name base_name (not (Options.bool options "document_dump_only"), Options.string options "document_dump") - (Options.string options "browser_info_remote") - verbose; + "" verbose; val _ = Session.with_timing name timing (List.app use_theories) theories; val _ = Session.finish (); val _ = if do_output then () else quit ();