src/Pure/System/isabelle_system.scala
changeset 73907 4fbbf421c376
parent 73906 9ce115baaa4f
child 73973 2f4cb9cb087f
equal deleted inserted replaced
73906:9ce115baaa4f 73907:4fbbf421c376
   298           StandardCopyOption.COPY_ATTRIBUTES,
   298           StandardCopyOption.COPY_ATTRIBUTES,
   299           StandardCopyOption.REPLACE_EXISTING)
   299           StandardCopyOption.REPLACE_EXISTING)
   300       }
   300       }
   301       catch {
   301       catch {
   302         case ERROR(msg) =>
   302         case ERROR(msg) =>
   303           cat_error("Failed top copy file " +
   303           cat_error("Failed to copy file " +
   304             File.path(src).absolute + " to " + File.path(dst).absolute, msg)
   304             File.path(src).absolute + " to " + File.path(dst).absolute, msg)
   305       }
   305       }
   306     }
   306     }
   307   }
   307   }
   308 
   308