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