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