Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 362 | logplain |
-rw-r--r-- | stex-basics.dtx | 14472 | logplain |
-rw-r--r-- | stex-features.dtx | 25246 | logplain |
-rw-r--r-- | stex-inheritance.dtx | 18430 | logplain |
-rw-r--r-- | stex-mathhub.dtx | 28255 | logplain |
-rw-r--r-- | stex-metatheory.dtx | 5809 | logplain |
-rw-r--r-- | stex-modules.dtx | 26200 | logplain |
-rw-r--r-- | stex-others.dtx | 1614 | logplain |
-rw-r--r-- | stex-proofs.dtx | 37095 | logplain |
-rw-r--r-- | stex-references.dtx | 15695 | logplain |
-rw-r--r-- | stex-statements.dtx | 25685 | logplain |
-rw-r--r-- | stex-symbols.dtx | 38583 | logplain |
-rw-r--r-- | stex-terms.dtx | 26875 | logplain |
-rw-r--r-- | stex.ins | 1215 | logplain |