Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | etrip.diffs | 11737 | logplain |
-rw-r--r-- | etrip.fot | 1189 | logplain |
-rw-r--r-- | etrip.log | 113256 | logplain |
-rw-r--r-- | etrip.out | 41 | logplain |
-rw-r--r-- | etrip.pl | 16990 | logplain |
-rw-r--r-- | etrip.tex | 45246 | 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 | 1409 | logplain |
-rw-r--r-- | etripman.tex | 17932 | logplain |
-rw-r--r-- | texmf.cnf | 881 | logplain |
-rw-r--r-- | trip2.in | 36 | logplain |