Mode | Name | Size | |
---|---|---|---|
d--------- | java | 655 | logplain |
-rw-r--r-- | texosquery-jre5.batch | 158 | logplain |
-rw-r--r-- | texosquery-jre8.batch | 191 | logplain |
-rw-r--r-- | texosquery.batch | 153 | logplain |
-rw-r--r-- | texosquery.dtx | 249892 | logplain |
-rw-r--r-- | texosquery.ins | 2402 | logplain |