/Makefile/1.2/Sat Oct 18 03:35:23 2003//
/README/1.1/Sat Dec 28 05:15:40 2002//
/delphin.sml/1.1/Sat Oct 18 03:35:23 2003//
/install.sh/1.1/Sat Dec 28 05:15:40 2002//
/twelf-server.sml/1.1/Sat Dec 28 05:15:40 2002//
/twelf-sml.sml/1.1/Sat Dec 28 05:15:40 2002//
D
