src/Pure/General/mercurial.scala

 
   def hg_setup(
     remote: String,
     local_path: Path,
     remote_name: String = "",
-    pull_source: String = "",
     path_name: String = default_path_name,
     progress: Progress = No_Progress)
   {
     /* local repository */
 

 
     /* synchronize local and remote state */
 
     progress.echo("Synchronizing ...")
 
-    if (pull_source.nonEmpty) local_hg.pull(remote = pull_source)
-
     edit_hgrc(local_hg, path_name, remote_url)
 
     local_hg.pull(options = "-u")
 
     local_hg.push(remote = remote_url)
   }
 
   val isabelle_tool =
     Isabelle_Tool("hg_setup", "setup remote vs. local Mercurial repository", args =>
     {
-      var pull_source = ""
       var remote_name = ""
       var path_name = default_path_name
 
       val getopts = Getopts("""
 Usage: isabelle hg_setup [OPTIONS] REMOTE LOCAL
 
   Options are:
-    -P SOURCE    pull local repository from existing source
     -n NAME      remote repository name (default: base name of LOCAL directory)
     -p PATH      Mercurial path name (default: """ + quote(default_path_name) + """)
 
   Setup a remote vs. local Mercurial repository: REMOTE either refers to a
   Phabricator server "user@host" or SSH file server "ssh://user@host/path".
   Both the remote and local repository are initialized on demand.
 """,
-        "P" -> (arg => pull_source = arg),
         "n:" -> (arg => remote_name = arg),
         "p:" -> (arg => path_name = arg))
 
       val more_args = getopts(args)
 

           case _ => getopts.usage()
         }
 
       val progress = new Console_Progress
 
-      hg_setup(remote, local_path, remote_name = remote_name, pull_source = pull_source,
-        path_name = path_name, progress = progress)
+      hg_setup(remote, local_path, remote_name = remote_name, path_name = path_name,
+        progress = progress)
     })
 }