added "browser_info_remote" (cf. usedir -P);
authorwenzelm
Tue Jul 24 11:02:42 2012 +0200 (2012-07-24)
changeset 4846307f752935ece
parent 48462 424fd5364f15
child 48464 a7bf1587eba0
added "browser_info_remote" (cf. usedir -P);
etc/options
src/Pure/System/build.ML
     1.1 --- a/etc/options	Tue Jul 24 10:58:43 2012 +0200
     1.2 +++ b/etc/options	Tue Jul 24 11:02:42 2012 +0200
     1.3 @@ -1,6 +1,7 @@
     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 = document
     2.1 --- a/src/Pure/System/build.ML	Tue Jul 24 10:58:43 2012 +0200
     2.2 +++ b/src/Pure/System/build.ML	Tue Jul 24 11:02:42 2012 +0200
     2.3 @@ -43,7 +43,7 @@
     2.4          parent base_name
     2.5          (true (* FIXME copy document/ files on Scala side!? *),
     2.6            Options.string options "document_dump")
     2.7 -        ""
     2.8 +        (Options.string options "browser_info_remote")
     2.9          verbose;
    2.10  
    2.11      val _ = Session.with_timing name timing (List.app (uncurry use_theories)) theories;