Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified message;
authorwenzelm
Sat, 27 Feb 2021 13:37:04 +0100
changeset 73311 54262af6d310
parent 73310 6e155bb1516d
child 73312 736b8853189a
clarified message;
src/Pure/Thy/sessions.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/sessions.scala	Sat Feb 27 13:20:52 2021 +0100
+++ b/src/Pure/Thy/sessions.scala	Sat Feb 27 13:37:04 2021 +0100
@@ -1013,7 +1013,7 @@
 
   private def check_session_dir(dir: Path): Path =
     if (is_session_dir(dir)) File.pwd() + dir.expand
-    else error("Bad session root directory: " + dir.expand.toString)
+    else error("Bad session root directory (missing ROOT or ROOTS): " + dir.expand.toString)
 
   def directories(dirs: List[Path], select_dirs: List[Path]): List[(Boolean, Path)] =
   {
isabelle