../ datatool-user-examples/ 05-Jul-2025 19:34 - samples/ 05-Jul-2025 19:34 - CHANGES 05-Jul-2025 19:34 25460 DEPENDS.txt 05-Jul-2025 19:34 39 README.md 05-Jul-2025 19:34 4914 datatool-code.pdf 05-Jul-2025 19:34 2999315 datatool-user.html 05-Jul-2025 19:34 5217836 datatool-user.pdf 05-Jul-2025 19:34 10162292 datatool-user.tex 05-Jul-2025 19:34 1790431 datatool.dtx 05-Jul-2025 19:34 2328239 datatool.ins 05-Jul-2025 19:34 5054