/readline-config.xml/1.1/Wed Oct  2 23:11:52 2002//
/readline-desc.xml/1.2/Tue Apr 22 01:53:41 2003//
/readline-inst.xml/1.1/Wed Oct  2 23:11:52 2002//
/readline-intro.xml/1.2/Sun Nov 24 17:43:57 2002//
/readline.ent/1.2/Tue Feb 18 04:33:28 2003//
D
