// file: $isip/class/search/History/hist_00.cc
// version: $Id: hist_00.cc 6840 2001-04-27 18:02:05Z jelinek $
//

// there is no source code in this file
//

// isip include files
//
#include "History.h"

// constants: class name
//
const String History::CLASS_NAME(L"History");

// static instantiations: memory manager and debug level
//
MemoryManager History::mgr_d(sizeof(History), History::CLASS_NAME);
Integral::DEBUG History::debug_level_d = Integral::NONE;

//
// end of file
