changeset 46548 | cd41e3903fbf |
parent 46538 | 546d78f0d81f |
1.1 --- a/src/Pure/System/download.scala Tue Nov 29 20:18:02 2011 +0100 1.2 +++ b/src/Pure/System/download.scala Tue Nov 29 21:29:53 2011 +0100 1.3 @@ -1,5 +1,5 @@ 1.4 /* Title: Pure/System/download.scala 1.5 - Module: Library 1.6 + Module: PIDE 1.7 Author: Makarius 1.8 1.9 Download URLs -- with progress monitor.