Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 362 | logplain |
-rw-r--r-- | stex-basics.dtx | 18536 | logplain |
-rw-r--r-- | stex-features.dtx | 38807 | logplain |
-rw-r--r-- | stex-inheritance.dtx | 23081 | logplain |
-rw-r--r-- | stex-mathhub.dtx | 30392 | logplain |
-rw-r--r-- | stex-metatheory.dtx | 6582 | logplain |
-rw-r--r-- | stex-modules.dtx | 28889 | logplain |
-rw-r--r-- | stex-others.dtx | 2517 | logplain |
-rw-r--r-- | stex-proofs.dtx | 15013 | logplain |
-rw-r--r-- | stex-references.dtx | 23034 | logplain |
-rw-r--r-- | stex-statements.dtx | 29335 | logplain |
-rw-r--r-- | stex-symbols.dtx | 50685 | logplain |
-rw-r--r-- | stex-terms.dtx | 34344 | logplain |
-rw-r--r-- | stex.ins | 1215 | logplain |