Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
authorwenzelm
Thu, 26 Jul 2012 13:38:43 +0200
changeset 48513 ace120a2cb70
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 file | annotate | diff | comparison | revisions
src/Pure/System/build.ML file | annotate | diff | comparison | revisions 
--- 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"
--- 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 ();
isabelle