../ datatool-user-examples/ 08-Dec-2025 19:34 - samples/ 08-Dec-2025 19:34 - CHANGES 08-Dec-2025 19:34 25652 DEPENDS.txt 08-Dec-2025 19:34 39 README.md 08-Dec-2025 19:34 4914 datatool-code.pdf 08-Dec-2025 19:34 2998098 datatool-user.html 08-Dec-2025 19:34 5239258 datatool-user.pdf 08-Dec-2025 19:34 10144997 datatool-user.tex 08-Dec-2025 19:34 1790381 datatool.dtx 08-Dec-2025 19:34 2330707 datatool.ins 08-Dec-2025 19:34 5054