Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
CHANGES | 2020-02-04 19:45 | 4.9K | ||
README.md | 2020-02-04 19:45 | 14K | ||
java/ | 2016-12-20 20:49 | - | ||
texosquery-jre5.jar | 2020-02-04 19:45 | 64K | ||
texosquery-jre8.jar | 2020-02-04 19:45 | 68K | ||
texosquery.dtx | 2020-02-04 19:45 | 256K | ||
texosquery.ins | 2020-02-04 19:45 | 2.4K | ||
texosquery.jar | 2020-02-04 19:45 | 67K | ||
texosquery.pdf | 2020-02-04 19:45 | 494K | ||