/config.hpp/1.3/Tue Oct 15 17:51:39 2002//
/pattern_except.hpp/1.3/Tue Oct 15 17:51:39 2002//
/regex_traits.hpp/1.4/Fri Aug  9 08:51:51 2002//
/src.cpp/1.1/Tue May 21 23:39:57 2002//
/user.hpp/1.1/Tue May 21 23:39:57 2002//
D/detail////
