/.cvsignore/1.3/Thu Apr 18 06:32:34 2002//
/DISTRIBUTE/1.8/Sat Dec 28 05:15:40 2002//
/DISTRIBUTE.build/1.2/Tue Mar 18 13:22:42 2003//
/DISTRIBUTE.sed/1.2/Mon Apr 28 19:31:56 2003//
/FILES/1.12/Sat Dec 28 05:15:40 2002//
/HISTORY/1.9/Sat Dec 28 05:15:40 2002//
/Makefile/1.6/Mon Aug 25 16:55:33 2003//
/README/1.9/Fri Jan 24 16:48:42 2003//
/TODO/1.9/Mon Mar 26 00:56:54 2001//
/delphin.cm/1.2/Mon Aug 25 16:55:33 2003//
/delphin.sml/1.2/Mon Aug 25 16:55:33 2003//
/load.sml/1.7/Tue Sep 21 21:25:13 2004//
/server.cm/1.2/Sat Dec 28 05:15:40 2002//
/sources.cm/1.8/Tue Nov 30 14:28:46 2004//
/twelf-server.sml/1.4/Tue Nov 30 19:27:55 2004//
/twelf-sml.sml/1.3/Tue Oct 15 12:15:58 2002//
D
