| Thu, 02 Aug 2007 12:06:28 +0200 | wenzelm | added name_of; | file | diff | annotate |
| Wed, 01 Aug 2007 16:55:42 +0200 | wenzelm | renamed config_option.ML to config.ML; | file | diff | annotate |
| 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 |