logic_and_proof icon indicating copy to clipboard operation
logic_and_proof copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

fix build issue #50

Open ratmice opened this issue 2 years ago • 1 comments

I merely tested that the build succeeded, but haven't gone over the output yet.

About the change to sphinx.directives.CodeBlock, we can see in the following commit that it appears to have been deprecated in favor of sphinx.directives.code.CodeBlock and then subsequently removed in a new version.

https://github.com/sphinx-doc/sphinx/commit/00002397764b391b0ebf737bbe47202ed4c98fff

ratmice avatar Jun 24 '22 16:06 ratmice

Thanks, seems to work for me.

FranklinChen avatar Sep 06 '22 13:09 FranklinChen