remove (debug) \proofdepth macro

This commit is contained in:
Maximilian Keßler 2022-01-10 00:11:01 +01:00
parent c0e4705c63
commit 0011cb2270

View file

@ -122,8 +122,6 @@ __END_OPTIONS_X__
\let\theclaim__PACKAGE_MACRO__(saved@theclaim) \let\theclaim__PACKAGE_MACRO__(saved@theclaim)
} }
\def\proofdepth{Depth:~\the__PACKAGE_PREFIX__proofdepth}
%%% A 'smart' proof environment %%% A 'smart' proof environment
\AtBeginDocument{ \AtBeginDocument{
\RenewDocumentEnvironment{proof}{s o} \RenewDocumentEnvironment{proof}{s o}