/Makefile/1.10/Fri Nov 12 19:10:27 2004//
/install.sh/1.1/Sat Dec 28 05:15:40 2002//
/twelf-server-20030716.cm/1.2/Fri Nov 12 19:10:27 2004//
/twelf-server-20040227.cm/1.1/Fri Nov 12 19:10:27 2004//
/twelf-server-97.cm/1.7/Fri Nov 12 19:10:27 2004//
/twelf-server.cm/1.14/Fri Nov 12 19:10:27 2004//
/twelf-server.sml/1.1/Sat Dec 28 05:15:40 2002//
D
