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