File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
Makefile1.9 KiB2024-Oct-03 11:53
dvitype.in41 B2024-Oct-03 11:53
ext.c6.0 KiB2024-Oct-03 11:53
ext.h500 B2024-Oct-03 11:53
ini_to_trip705 B2024-Oct-03 11:53
ini_to_vir447 B2024-Oct-03 11:53
initex.ch36.4 KiB2024-Oct-03 11:53
plain.fmt162.7 KiB2024-Oct-03 11:53
plain.log2.4 KiB2024-Oct-03 11:53
tex.pool25.2 KiB2024-Oct-03 11:53
trip1.in13 B2024-Oct-03 11:53
trip2.in14 B2024-Oct-03 11:53