/minmax.hpp/1.5/Thu Jul 27 10:27:32 2006//
/minmax_element.hpp/1.3/Thu Jul 27 10:27:32 2006//
/string.hpp/1.4/Thu Jul 27 10:27:32 2006//
/string_regex.hpp/1.5/Thu Jul 27 10:27:32 2006//
D
