Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 8terminal.tex | 0 | logplain |
-rw-r--r-- | READMe | 574 | logplain |
-rw-r--r-- | trip.fot | 2428 | logplain |
-rw-r--r-- | trip.fot.diff | 77 | logplain |
-rw-r--r-- | trip.log | 183953 | logplain |
-rw-r--r-- | trip.log.diff | 500 | logplain |
-rw-r--r-- | trip.pl | 16990 | logplain |
-rw-r--r-- | trip.pl.diff | 0 | logplain |
-rw-r--r-- | trip.typ | 18051 | logplain |
-rw-r--r-- | trip.typ.diff | 133 | logplain |
-rw-r--r-- | tripin.log.diff | 281 | logplain |
-rw-r--r-- | tripos.tex | 59 | logplain |
-rw-r--r-- | tripos.tex.diff | 0 | logplain |