--- a/src/Pure/Thy/export.scala Fri Mar 27 13:04:15 2020 +0100
+++ b/src/Pure/Thy/export.scala Fri Mar 27 22:01:27 2020 +0100
@@ -312,7 +312,7 @@
// list
if (export_list) {
(for ((theory_name, name) <- export_names) yield compound_name(theory_name, name)).
- sorted.foreach(progress.echo(_))
+ sorted.foreach(progress.echo)
}
// export
@@ -348,7 +348,7 @@
/* Isabelle tool wrapper */
- val default_export_dir = Path.explode("export")
+ val default_export_dir: Path = Path.explode("export")
val isabelle_tool = Isabelle_Tool("export", "retrieve theory exports", args =>
{