../ java/ 03-Dec-2023 19:34 - CHANGES 03-Dec-2023 19:34 4990 README.md 03-Dec-2023 19:34 13872 texosquery-jre5.jar 03-Dec-2023 19:34 65370 texosquery-jre8.jar 03-Dec-2023 19:34 69789 texosquery.dtx 03-Dec-2023 19:34 262611 texosquery.ins 03-Dec-2023 19:34 2472 texosquery.jar 03-Dec-2023 19:34 68777 texosquery.pdf 03-Dec-2023 19:34 506274