latex-packages/doc/environments/thmstyle/thmstyle.tex

\documentclass[full]{l3doc}
\usepackage{mkessler-todo}
\begin{document}
\DocInput{../../../src/environments/thmstyle/thmstyle.dtx}
\end{document}
add documentation for thmstyle 2022-01-30 15:43:42 +01:00			`\documentclass[full]{l3doc}`
integrate documentation of thmstyle into dtx file 2022-01-31 00:25:06 +01:00			`\usepackage{mkessler-todo}`
add documentation for thmstyle 2022-01-30 15:43:42 +01:00			`\begin{document}`
integrate documentation of thmstyle into dtx file 2022-01-31 00:25:06 +01:00			`\DocInput{../../../src/environments/thmstyle/thmstyle.dtx}`
add documentation for thmstyle 2022-01-30 15:43:42 +01:00			`\end{document}`