Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 22-Oct-2020 20:47 -
![[ ]](/icons/unknown.gif){kind=icon}
CHANGES 04-Feb-2020 21:45 5k
![[DIR]](/icons/folder.gif){kind=icon}
java/ 20-Dec-2016 22:49 -
texosquery-jre5.jar 04-Feb-2020 21:45 64k
texosquery-jre8.jar 04-Feb-2020 21:45 68k
texosquery.dtx 04-Feb-2020 21:45 256k
texosquery.ins 04-Feb-2020 21:45 2k
texosquery.jar 04-Feb-2020 21:45 67k
![[ ]](/icons/layout.gif){kind=icon}
texosquery.pdf 04-Feb-2020 21:45 494k