../ java/ 10-Jul-2025 19:36 - CHANGES 10-Jul-2025 19:36 4990 README.md 10-Jul-2025 19:36 13872 texosquery-jre5.jar 10-Jul-2025 19:36 65370 texosquery-jre8.jar 10-Jul-2025 19:36 69789 texosquery.dtx 10-Jul-2025 19:36 262611 texosquery.ins 10-Jul-2025 19:36 2472 texosquery.jar 10-Jul-2025 19:36 68777 texosquery.pdf 10-Jul-2025 19:36 506274