equal
deleted
inserted
replaced
36 contents = List(File.Content(Path.explode("etc/ISABELLE_ID"), hg.id(rev = rev))), |
36 contents = List(File.Content(Path.explode("etc/ISABELLE_ID"), hg.id(rev = rev))), |
37 filter = List("protect /AFP")) |
37 filter = List("protect /AFP")) |
38 |
38 |
39 for (hg <- afp_hg) { |
39 for (hg <- afp_hg) { |
40 progress.echo_if(verbose, "\n* AFP repository:") |
40 progress.echo_if(verbose, "\n* AFP repository:") |
41 sync(hg, Isabelle_System.rsync_dir(target) + "/AFP", afp_rev) |
41 sync(hg, Rsync.rsync_dir(target) + "/AFP", afp_rev) |
42 } |
42 } |
43 } |
43 } |
44 |
44 |
45 val isabelle_tool = |
45 val isabelle_tool = |
46 Isabelle_Tool("sync_repos", "synchronize Isabelle + AFP repositories", |
46 Isabelle_Tool("sync_repos", "synchronize Isabelle + AFP repositories", |