Fri, 27 Jul 2007 20:11:47 +0200 | wenzelm | map_value: dynamic type checking; | file | diff | annotate |
Fri, 27 Jul 2007 16:31:14 +0200 | wenzelm | exported datatype value; | file | diff | annotate |
Wed, 25 Jul 2007 22:20:49 +0200 | wenzelm | Configuration options as values within the local context. | file | diff | annotate |