Mode | Name | Size | |
---|---|---|---|
d--------- | java | 655 | logplain |
-rw-r--r-- | texosquery-jre5.batch | 159 | logplain |
-rw-r--r-- | texosquery-jre8.batch | 192 | logplain |
-rw-r--r-- | texosquery.batch | 154 | logplain |
-rw-r--r-- | texosquery.dtx | 261642 | logplain |
-rw-r--r-- | texosquery.ins | 2472 | logplain |