../ datatool-user-examples/ 17-Nov-2025 19:35 - samples/ 17-Nov-2025 19:35 - CHANGES 17-Nov-2025 19:35 25525 DEPENDS.txt 17-Nov-2025 19:35 39 README.md 17-Nov-2025 19:35 4914 datatool-code.pdf 17-Nov-2025 19:35 2999387 datatool-user.html 17-Nov-2025 19:35 5239512 datatool-user.pdf 17-Nov-2025 19:35 10146888 datatool-user.tex 17-Nov-2025 19:35 1790381 datatool.dtx 17-Nov-2025 19:35 2330384 datatool.ins 17-Nov-2025 19:35 5053