diff -r dbc8294c75d3 -r 367d83d6030e src/Pure/Admin/build_history.scala
--- 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)