# HG changeset patch
# User wenzelm
# Date 1604848839 -3600
# Node ID 6d54efe5b6eedc0309a32e28cd1b677eb2c11c4a
# Parent  feb80142e5721e82627b6be1fa2cf1b564cc55c2
tuned signature;

diff -r feb80142e572 -r 6d54efe5b6ee src/Pure/General/mailman.scala
--- a/src/Pure/General/mailman.scala	Sun Nov 08 16:19:24 2020 +0100
+++ b/src/Pure/General/mailman.scala	Sun Nov 08 16:20:39 2020 +0100
@@ -31,9 +31,7 @@
   {
     override def toString: String = list_name
 
-    def download(
-      target_dir: Path = Path.current,
-      progress: Progress = new Progress): List[Path] =
+    def download(target_dir: Path, progress: Progress = new Progress): List[Path] =
     {
       val dir = target_dir + Path.basic(list_name)
       Isabelle_System.make_directory(dir)