Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | COPYING | 19106 | logplain |
-rw-r--r-- | README | 746 | logplain |
-rw-r--r-- | TODO | 70 | logplain |
-rw-r--r-- | VERSION.tex | 120 | logplain |
-rw-r--r-- | changes.txt | 126 | logplain |
-rw-r--r-- | thmtools-manual.tex | 41283 | logplain |
-rw-r--r-- | thmtools.pdf | 225947 | logplain |