/Readline.pike/1.35/Tue Feb 20 10:41:31 2001//
/Terminfo.pmod/1.8/Tue Feb 20 10:41:31 2001//
/module.pmod/1.87/Fri Jul 20 11:41:24 2001//
D
