Sat, 27 Feb 2016 19:47:53 +0100 | wenzelm | moved getopts to Scala; | changeset | files |
Sat, 27 Feb 2016 17:01:21 +0100 | wenzelm | no tracing SPAM, and thus more visible warnings; | changeset | files |
Sat, 27 Feb 2016 16:52:30 +0100 | wenzelm | moved getopts to Scala; | changeset | files |
Sat, 27 Feb 2016 16:51:36 +0100 | wenzelm | tuned messages; | changeset | files |
Sat, 27 Feb 2016 16:37:47 +0100 | wenzelm | more operations (like Markup.parse_bool in ML); | changeset | files |
Sat, 27 Feb 2016 16:37:06 +0100 | wenzelm | tuned messages; | changeset | files |