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