Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | etrip.diffs | 11011 | logplain |
-rw-r--r-- | etrip.fot | 1139 | logplain |
-rw-r--r-- | etrip.log | 110529 | logplain |
-rw-r--r-- | etrip.out | 41 | logplain |
-rw-r--r-- | etrip.pl | 16990 | logplain |
-rw-r--r-- | etrip.tex | 44793 | logplain |
-rw-r--r-- | etrip.typ | 566 | 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 | 1383 | logplain |
-rw-r--r-- | etripman.tex | 17932 | logplain |
-rw-r--r-- | texmf.cnf | 1071 | logplain |
-rw-r--r-- | trip2.in | 36 | logplain |