../ java/ 20-Dec-2016 10:49 - CHANGES 20-Jun-2017 14:29 4774 README.md 20-Jun-2017 14:29 13669 texosquery-jre5.jar 20-Jun-2017 14:29 65360 texosquery-jre8.jar 20-Jun-2017 14:29 69775 texosquery.dtx 20-Jun-2017 14:29 261642 texosquery.ins 20-Jun-2017 14:29 2472 texosquery.jar 20-Jun-2017 14:29 68756 texosquery.pdf 20-Jun-2017 14:29 505685