Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | aliasctr.dtx | 4480 | logplain |
-rw-r--r-- | parseargs.dtx | 4369 | logplain |
-rw-r--r-- | thm-autoref.dtx | 3469 | logplain |
-rw-r--r-- | thm-kv.dtx | 8747 | logplain |
-rw-r--r-- | thm-listof.dtx | 4741 | logplain |
-rw-r--r-- | thm-patch.dtx | 8668 | logplain |
-rw-r--r-- | thm-restate.dtx | 7065 | logplain |
-rw-r--r-- | thmtools.dtx | 2057 | logplain |
-rw-r--r-- | thmtools.ins | 1715 | logplain |
-rw-r--r-- | unique.dtx | 5875 | logplain |