src/Pure/General/file.scala
Thu, 27 Sep 2012 15:04:26 +0200 wenzelm physical File.eq in conformance to Isabelle/ML;
Thu, 23 Aug 2012 20:34:51 +0200 wenzelm more direct File.read_bytes -- avoid cumulative copying of StringBuilder;
Mon, 30 Jul 2012 20:43:07 +0200 wenzelm clarified directory content operations (similar to ML version);
Fri, 27 Jul 2012 14:22:32 +0200 wenzelm tuned signature;
Tue, 24 Jul 2012 23:01:55 +0200 wenzelm read/write dependency information;
Sat, 21 Jul 2012 16:41:55 +0200 wenzelm some actual build function on ML side;
Fri, 20 Jul 2012 23:16:54 +0200 wenzelm more abstract file system operations in Scala, corresponding to ML version;
less more (0) tip