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