/.cvsignore/1.2/Mon Oct 23 17:24:30 2000//
/README/1.1.1.1/Sat Sep  5 22:59:24 1998//
/auc-menu.el/1.1.1.1/Sat Sep  5 22:59:25 1998//
/twelf-font.el/1.21/Sun Aug 17 18:12:19 2003//
/twelf-hilit.el/1.3/Fri Apr  5 03:37:52 2002//
/twelf-init.el/1.4/Sat Dec 28 05:15:40 2002//
/twelf.el/1.35/Mon Nov  3 20:33:53 2003//
D
