added "browser_info_remote" (cf. usedir -P);
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;