repo - Revision 1712: /support/texosquery

• ..
• CHANGES
• README.md
• java/
• texosquery-jre5.jar
• texosquery-jre8.jar
• texosquery.dtx
• texosquery.ins
• texosquery.jar
• texosquery.pdf