src/Pure/config.ML
2007-07-27 wenzelm 2007-07-27 exported datatype value; added the_config; removed put_generic_src -- moved value parsing to attrib.ML; tuned;
2007-07-25 wenzelm 2007-07-25 Configuration options as values within the local context.