/.cvsignore/1.2/Thu Feb 13 16:35:30 2003//
/Makefile/1.9/Tue Sep 24 03:59:23 2002//
/README/1.5/Sat Dec 28 05:15:40 2002//
/config.embed/1.1/Wed Sep  9 19:06:59 1998//
/twelf.texi/1.21/Wed Mar 31 18:26:38 2004//
D
