Mode | Name | Size | |
---|---|---|---|
d--------- | java | 655 | logplain |
-rw-r--r-- | texosquery-jre5.batch | 147 | logplain |
-rw-r--r-- | texosquery-jre8.batch | 180 | logplain |
-rw-r--r-- | texosquery.batch | 142 | logplain |
-rw-r--r-- | texosquery.dtx | 249386 | logplain |
-rw-r--r-- | texosquery.ins | 2402 | logplain |