discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
authorwenzelm
Thu Jul 26 13:38:43 2012 +0200 (2012-07-26)
changeset 48513ace120a2cb70
parent 48512 a69d7dc49f41
child 48514 84df8858c8ac
discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
etc/options
src/Pure/System/build.ML
     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 ();