| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| java/ | - | 2016-Dec-20 11:49 |
| CHANGES | 4990 | 2020-Feb-04 10:45 |
| README.md | 13872 | 2020-Feb-04 10:45 |
| texosquery-jre5.jar | 65370 | 2020-Feb-04 10:45 |
| texosquery-jre8.jar | 69789 | 2020-Feb-04 10:45 |
| texosquery.dtx | 262611 | 2020-Feb-04 10:45 |
| texosquery.ins | 2472 | 2020-Feb-04 10:45 |
| texosquery.jar | 68777 | 2020-Feb-04 10:45 |
| texosquery.pdf | 506274 | 2020-Feb-04 10:45 |