../ etrip.diffs 29-Apr-2025 07:12 16662 etrip.fot 29-Apr-2025 07:12 1189 etrip.out 29-Apr-2025 07:12 41 etrip.pl 29-Apr-2025 07:12 16990 etrip.tex 29-Apr-2025 07:12 45248 etrip.typ 29-Apr-2025 07:12 582 etrip1.in 29-Apr-2025 07:12 14 etrip2.in 29-Apr-2025 07:12 7 etrip3.in 29-Apr-2025 07:12 13 etripman.tex 29-Apr-2025 07:12 17932 texmf.cnf 29-Apr-2025 07:12 881 trip2.in 29-Apr-2025 07:12 36