| Fri, 20 Jul 2012 23:16:54 +0200 | more abstract file system operations in Scala, corresponding to ML version; | file | diff | annotate |
| Fri, 20 Jul 2012 22:29:25 +0200 | more explicit java.io.{File => JFile}; | file | diff | annotate |
| Fri, 20 Jul 2012 21:04:03 +0200 | further imitation of "usedir" shell script; | file | diff | annotate |
| Fri, 20 Jul 2012 18:50:33 +0200 | require explicit initialization of options; | file | diff | annotate |
| Fri, 20 Jul 2012 17:43:55 +0200 | tuned signature; | file | diff | annotate |
| Fri, 20 Jul 2012 16:47:43 +0200 | define build_options from command line; | file | diff | annotate |
| Fri, 20 Jul 2012 15:48:22 +0200 | basic support for stand-alone options with external string representation; | file | diff | annotate |