summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/source/stex
ModeNameSize
-rw-r--r--Makefile362logplain
-rw-r--r--stex-basics.dtx18536logplain
-rw-r--r--stex-features.dtx38807logplain
-rw-r--r--stex-inheritance.dtx23081logplain
-rw-r--r--stex-mathhub.dtx30392logplain
-rw-r--r--stex-metatheory.dtx6582logplain
-rw-r--r--stex-modules.dtx28889logplain
-rw-r--r--stex-others.dtx2517logplain
-rw-r--r--stex-proofs.dtx15013logplain
-rw-r--r--stex-references.dtx23034logplain
-rw-r--r--stex-statements.dtx29335logplain
-rw-r--r--stex-symbols.dtx50685logplain
-rw-r--r--stex-terms.dtx34344logplain
-rw-r--r--stex.ins1215logplain