../ texdef/ 17-Aug-2025 19:38 - texrocks/ 17-Aug-2025 19:38 - kpathsea.lua 17-Aug-2025 19:38 10088 open.lua 17-Aug-2025 19:38 2763 texdef.lua 17-Aug-2025 19:38 9340 texrocks.lua 17-Aug-2025 19:38 13838 tlua.lua 17-Aug-2025 19:38 482