Filename | Modification time | Size |
---|---|---|
Makefile | 1985 B | |
dvitype.in | 41 B | |
ext.c | 6171 B | |
ext.h | 500 B | |
ini_to_trip | 705 B | |
ini_to_vir | 447 B | |
initex.ch | 36 KiB | |
plain.fmt | 163 KiB | |
plain.log | 2416 B | |
tex.pool | 25 KiB | |
trip1.in | 13 B | |
trip2.in | 14 B |
Filename | Modification time | Size |
---|---|---|
Makefile | 1985 B | |
dvitype.in | 41 B | |
ext.c | 6171 B | |
ext.h | 500 B | |
ini_to_trip | 705 B | |
ini_to_vir | 447 B | |
initex.ch | 36 KiB | |
plain.fmt | 163 KiB | |
plain.log | 2416 B | |
tex.pool | 25 KiB | |
trip1.in | 13 B | |
trip2.in | 14 B |