| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| java/ | - | 20-Dec-2016 11:49 |
| CHANGES | 4990 | 04-Feb-2020 10:45 |
| README.md | 14K | 04-Feb-2020 10:45 |
| texosquery-jre5.jar | 64K | 04-Feb-2020 10:45 |
| texosquery-jre8.jar | 68K | 04-Feb-2020 10:45 |
| texosquery.dtx | 256K | 04-Feb-2020 10:45 |
| texosquery.ins | 2472 | 04-Feb-2020 10:45 |
| texosquery.jar | 67K | 04-Feb-2020 10:45 |
| texosquery.pdf | 494K | 04-Feb-2020 10:45 |