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.
proper afp_directory (amending 9308bc5f65d6);
authorwenzelm
Thu, 06 Jun 2024 23:12:04 +0200
changeset 80275 c631a44e9f13
parent 80274 cff00b3dddf5
child 80276 360e6217cda6
proper afp_directory (amending 9308bc5f65d6);
src/Pure/Admin/build_history.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_history.scala	Thu Jun 06 22:26:40 2024 +0200
+++ b/src/Pure/Admin/build_history.scala	Thu Jun 06 23:12:04 2024 +0200
@@ -167,7 +167,7 @@
 
     val isabelle_directory = directory(root)
     val (afp_directory, afp_build_args) =
-      if (afp) (Some(directory(root + Path.explode("AFP"))), List("-d", "~~/dirs/AFP/thys"))
+      if (afp) (Some(directory(root + Path.explode("dirs/AFP"))), List("-d", "~~/dirs/AFP/thys"))
       else (None, Nil)
isabelle