../ java/ 20-Dec-2016 18:49 - CHANGES 04-Feb-2020 17:45 4990 README.md 04-Feb-2020 17:45 13872 texosquery-jre5.jar 04-Feb-2020 17:45 65370 texosquery-jre8.jar 04-Feb-2020 17:45 69789 texosquery.dtx 04-Feb-2020 17:45 262611 texosquery.ins 04-Feb-2020 17:45 2472 texosquery.jar 04-Feb-2020 17:45 68777 texosquery.pdf 04-Feb-2020 17:45 506274