Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at 131.188.12.211 Port 80
Parent Directory - CHANGES 2020-02-04 11:45 4.9K README.md 2020-02-04 11:45 14K java/ 2016-12-20 12:49 - texosquery-jre5.jar 2020-02-04 11:45 64K texosquery-jre8.jar 2020-02-04 11:45 68K texosquery.dtx 2020-02-04 11:45 256K texosquery.ins 2020-02-04 11:45 2.4K texosquery.jar 2020-02-04 11:45 67K texosquery.pdf 2020-02-04 11:45 494K