changeset 72763 | 3cc73d00553c |
parent 72730 | 01c9b3033036 |
child 72816 | ea4f86914cb2 |
--- a/src/Pure/Thy/export.scala Sat Nov 28 20:18:29 2020 +0100 +++ b/src/Pure/Thy/export.scala Sat Nov 28 21:56:24 2020 +0100 @@ -372,7 +372,8 @@ val default_export_dir: Path = Path.explode("export") - val isabelle_tool = Isabelle_Tool("export", "retrieve theory exports", args => + val isabelle_tool = Isabelle_Tool("export", "retrieve theory exports", + Scala_Project.here, args => { /* arguments */