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