equal
deleted
inserted
replaced
83 /* build release */ |
83 /* build release */ |
84 |
84 |
85 val build_release: Logger_Task = |
85 val build_release: Logger_Task = |
86 Logger_Task("build_release", logger => |
86 Logger_Task("build_release", logger => |
87 { |
87 { |
88 Isabelle_Devel.release_snapshot(logger.options, rev = get_rev(), afp_rev = get_afp_rev()) |
88 Isabelle_Devel.release_snapshot(logger.options, get_rev(), get_afp_rev()) |
89 }) |
89 }) |
90 |
90 |
91 |
91 |
92 /* remote build_history */ |
92 /* remote build_history */ |
93 |
93 |