| Wed, 09 Mar 2016 14:54:51 +0100 | wenzelm | bash process with builtin timing; | file | diff | annotate |
| Mon, 07 Mar 2016 21:09:28 +0100 | wenzelm | File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output; | file | diff | annotate |
| Thu, 03 Mar 2016 15:23:02 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 01 Mar 2016 14:23:24 +0100 | wenzelm | prefer bash_process; | file | diff | annotate |
| Tue, 03 Nov 2015 13:54:34 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 19 Aug 2015 19:54:02 +0200 | wenzelm | Cygwin bash on Windows; | file | diff | annotate |
| Mon, 17 Aug 2015 23:45:12 +0200 | wenzelm | basic setup for native Windows (RAW session without image); | file | diff | annotate |