/.cvsignore/1.1/Wed Jul 18 20:58:47 2001//
/Authority.cc/1.3/Wed Sep  3 00:45:21 2003//
/Domain.cc/1.89/Tue Sep 21 05:55:59 2004//
/IdTable.cc/1.4/Sun Oct 19 16:30:25 2003//
/IdTable.hh/1.1/Tue Jul 22 02:32:37 2003//
/KeyGenerator.cc/1.4/Thu Jan 29 23:17:26 2004//
/Serialization.cc/1.9/Thu Mar 31 01:08:28 2005//
/Serialization.hh/1.8/Thu Mar 31 01:08:28 2005//
/SortId.cc/1.53/Wed Sep  3 00:45:22 2003//
/SortInfo.hh/1.10/Sun Mar 21 01:49:59 2004//
/SortManager.cc/1.49/Wed Sep  3 00:45:22 2003//
/String.cc/1.26/Tue Jan 27 19:50:53 2004//
/Symbol.cc/1.5/Wed Sep  3 00:45:22 2003//
/Value.cc/1.82/Mon Nov 22 19:33:40 2004//
/debug.cc/1.13/Tue Jan 27 19:56:11 2004//
/error.cc/1.27/Sat Jan 10 03:39:59 2004//
/makefile/1.32/Mon Sep 29 16:59:19 2003//
D
