| Tue, 24 Jul 2012 00:29:36 +0200 |
wenzelm |
pass build options to ML;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 22:35:10 +0200 |
wenzelm |
added ML version of stand-alone options, with XML.encode/decode operations (unidirectional from Scala to ML);
|
file |
diff |
annotate
|
| Sat, 21 Jul 2012 22:13:50 +0200 |
wenzelm |
propagate defined options;
|
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
|
| Fri, 20 Jul 2012 22:29:25 +0200 |
wenzelm |
more explicit java.io.{File => JFile};
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 21:04:03 +0200 |
wenzelm |
further imitation of "usedir" shell script;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 18:50:33 +0200 |
wenzelm |
require explicit initialization of options;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 17:43:55 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 16:47:43 +0200 |
wenzelm |
define build_options from command line;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 15:48:22 +0200 |
wenzelm |
basic support for stand-alone options with external string representation;
|
file |
diff |
annotate
|