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