| 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 |