../ CHANGES 14-Jul-2016 13:42 573 Manifest.txt 14-Jul-2016 13:42 66 README.md 14-Jul-2016 13:42 4460 TeXOSQuery.java 14-Jul-2016 13:42 23692 texosquery 14-Jul-2016 13:42 116 texosquery.dtx 14-Jul-2016 13:42 28268 texosquery.ins 14-Jul-2016 13:42 1118 texosquery.jar 14-Jul-2016 13:42 6773 texosquery.pdf 14-Jul-2016 13:42 251370