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