/Makefile.in/1.12/Fri Jul 18 22:32:08 1997//
/ack.texi/1.4/Sun May 25 19:17:41 1997//
/dir/1.1/Thu Jun 12 16:15:21 1997//
/index.texi/1.1/Mon May  5 19:43:44 1997//
/install.texi/1.4/Wed Jun  4 12:52:56 1997//
/intro.texi/1.2/Wed Jun  4 12:52:58 1997//
/kth-krb.texi/1.72/Wed Jun  4 12:46:06 1997//
/latin1.tex/1.1/Fri Nov 15 16:25:05 1996//
/otp.texi/1.2/Sun May 25 21:02:37 1997//
/problems.texi/1.8/Tue Sep  9 22:08:06 1997//
/whatis.texi/1.2/Thu Nov  6 19:47:12 1997//
/setup.texi/1.6/Thu Nov  6 22:28:00 1997//
D
