../ CHANGES 03-Jul-2022 19:38 11550 COPYING 03-Jul-2022 19:38 15131 README 03-Jul-2022 19:38 4270 chkscr.pl 03-Jul-2022 19:38 618 texit.pl 03-Jul-2022 19:38 81438 texit.tex 03-Jul-2022 19:38 25068 texitrc.os2 03-Jul-2022 19:38 1764 texitrc.unx 03-Jul-2022 19:38 7272