src/Pure/config.ML
2007-08-02 ago added name_of;
2007-08-01 ago renamed config_option.ML to config.ML;
2007-07-27 ago map_value: dynamic type checking;
2007-07-27 ago exported datatype value;
2007-07-25 ago Configuration options as values within the local context.