Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_system.scala
changeset 71569 391ea80ff27c
parent 71520 62755ec99671
child 71700 6c39c3be85df 
--- a/src/Pure/System/isabelle_system.scala	Wed Mar 18 17:44:27 2020 +0100
+++ b/src/Pure/System/isabelle_system.scala	Wed Mar 18 18:06:36 2020 +0100
@@ -170,7 +170,7 @@
 
   /* tmp files */
 
-  private def isabelle_tmp_prefix(): JFile =
+  def isabelle_tmp_prefix(): JFile =
   {
     val path = Path.explode("$ISABELLE_TMP_PREFIX")
     path.file.mkdirs  // low-level mkdirs
isabelle