/Makefile/1.1.1.1/Fri Nov  3 08:41:39 2000//
/configure/1.1.1.1/Fri Nov  3 08:41:39 2000//
/edit_man.sed/1.1.1.1/Fri Nov  3 08:41:39 2000//
/edit_man.sh/1.1.1.1/Fri Nov  3 08:41:39 2000//
/run_tic.sh/1.1.1.1/Fri Nov  3 08:41:39 2000//
D/alpha////
