D/detail////
/future.hpp/1.1/Tue Apr  1 14:46:27 2008//
/pool.hpp/1.1/Tue Apr  1 14:46:27 2008//
/pool_adaptors.hpp/1.1/Tue Apr  1 14:46:27 2008//
/scheduling_policies.hpp/1.1/Tue Apr  1 14:46:27 2008//
/shutdown_policies.hpp/1.1/Tue Apr  1 14:46:27 2008//
/size_policies.hpp/1.1/Tue Apr  1 14:46:27 2008//
/task_adaptors.hpp/1.1/Tue Apr  1 14:46:27 2008//
