../ texdef/ 04-Aug-2025 17:58 - texrocks/ 10-Oct-2026 08:40 - kpathsea.lua 04-Aug-2025 16:26 10088 open.lua 04-Aug-2025 16:26 2763 texdef.lua 04-Aug-2025 16:26 9340 texrocks.lua 10-Oct-2026 08:40 784 tlua.lua 04-Aug-2025 16:26 482