Fri, 11 Nov 2016 11:30:31 +0100 | wenzelm | clarified command-line; | file | diff | annotate |
Fri, 11 Nov 2016 11:02:31 +0100 | wenzelm | no backup of generated stuff; | file | diff | annotate |
Fri, 11 Nov 2016 10:46:46 +0100 | wenzelm | more precise environment (for Windows); | file | diff | annotate |
Thu, 10 Nov 2016 23:56:06 +0100 | wenzelm | proper shell_path for msys inside cygwin; | file | diff | annotate |
Thu, 10 Nov 2016 23:34:49 +0100 | wenzelm | support other bash executable (notably for msys on Windows); | file | diff | annotate |
Thu, 10 Nov 2016 22:54:46 +0100 | wenzelm | proper options; | file | diff | annotate |
Thu, 10 Nov 2016 22:06:36 +0100 | wenzelm | build_polyml in Scala; | file | diff | annotate |