equal
deleted
inserted
replaced
45 val init: Logger_Task = |
45 val init: Logger_Task = |
46 Logger_Task("init", logger => |
46 Logger_Task("init", logger => |
47 { |
47 { |
48 Isabelle_Devel.make_index() |
48 Isabelle_Devel.make_index() |
49 |
49 |
50 Mercurial.setup_repository(Isabelle_System.isabelle_repository, isabelle_repos) |
50 Mercurial.setup_repository(Isabelle_System.isabelle_repository.root, isabelle_repos) |
51 Mercurial.setup_repository(Isabelle_System.afp_repository, afp_repos) |
51 Mercurial.setup_repository(Isabelle_System.afp_repository.root, afp_repos) |
52 |
52 |
53 File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date), |
53 File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date), |
54 Build_Log.Identify.content(logger.start_date, Some(get_rev()), Some(get_afp_rev()))) |
54 Build_Log.Identify.content(logger.start_date, Some(get_rev()), Some(get_afp_rev()))) |
55 |
55 |
56 Isabelle_System.bash( |
56 Isabelle_System.bash( |