Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | etrip.diffs | 11198 | logplain |
-rw-r--r-- | etrip.fot | 1163 | logplain |
-rw-r--r-- | etrip.log | 113245 | logplain |
-rw-r--r-- | etrip.out | 41 | logplain |
-rw-r--r-- | etrip.pl | 16990 | logplain |
-rw-r--r-- | etrip.tex | 45244 | logplain |
-rw-r--r-- | etrip.typ | 582 | logplain |
-rw-r--r-- | etrip1.in | 14 | logplain |
-rw-r--r-- | etrip2.in | 7 | logplain |
-rw-r--r-- | etrip3.in | 13 | logplain |
-rw-r--r-- | etripin.log | 1398 | logplain |
-rw-r--r-- | etripman.tex | 17932 | logplain |
-rw-r--r-- | texmf.cnf | 881 | logplain |
-rw-r--r-- | trip2.in | 36 | logplain |