modernized;

--- a/src/Pure/Admin/ci_profile.scala	Wed Oct 12 11:31:08 2016 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Wed Oct 12 11:48:53 2016 +0200
@@ -72,7 +72,7 @@
 
 
   final def hg_id(path: Path): String =
-    Isabelle_System.hg("id -i", path.file).out
+    Mercurial.repository(path).identify(options = "-i")
 
   final def print_section(title: String): Unit =
     println(s"\n=== $title ===\n")