changeset 67872 | 39b27d38a54c |
parent 67865 | ab0b8e388967 |
child 67924 | b2cdd24e83b6 |
--- a/src/Pure/System/isabelle_system.scala Thu Mar 15 22:17:56 2018 +0100 +++ b/src/Pure/System/isabelle_system.scala Thu Mar 15 22:28:20 2018 +0100 @@ -146,7 +146,7 @@ def isabelle_id(): String = proper_string(getenv("ISABELLE_ID")) getOrElse - Mercurial.repository(Path.explode("~~")).id() + Mercurial.repository(Path.explode("~~")).parent()