| changeset 64232 | 367d83d6030e |
| parent 64231 | dbc8294c75d3 |
| child 64233 | ef6f7e8a018c |
--- a/src/Pure/Admin/build_history.scala Sat Oct 15 21:02:39 2016 +0200 +++ b/src/Pure/Admin/build_history.scala Sat Oct 15 21:08:04 2016 +0200 @@ -140,7 +140,7 @@ hg.update(rev = rev, clean = true) progress.echo_if(verbose, hg.log(rev, options = "-l1")) - val isabelle_version = hg.identify(rev, options = "-i") + val isabelle_version = hg.id(rev) val other_isabelle = new Other_Isabelle(progress, hg.root, isabelle_identifier)