summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/doc/packages/stex-metatheory.tex
blob: 1585ba504c8376a28e7d8e7ea39734d23cd24f63 (plain)
1
\textcolor{red}{TODO: metatheory documentation}